Example-based tests miss the edges. Property-based testing flips the approach. I show six useful patterns, stateful PBT for sequence bugs, and why this topic is well-suited for AI-assisted use.