Tests that assert properties or invariants across many generated inputs—strong for edge cases a human example suite might miss.
Instead of fixed examples only, property-based testing generates inputs (within constraints) searching for counterexamples. It complements unit tests and can stress AI-generated code paths.
Mindset
Define properties (“round-trip,” “idempotent,” “monotonic”) and let the framework hunt failures—similar fuzzing spirit with explicit correctness claims.