Property-Based Testing

A software testing approach where tests are defined as general properties or invariants that should hold for a wide range of automatically generated inputs, enabling discovery of edge cases that hand-written tests might miss.