Property-based testing checks general properties over many generated inputs rather than fixed examples. It’s useful for edge cases and complex logic.
Focus on invariants:
Sorting property:
For any list L: sort(L) is ordered and contains same elements