A testing approach where you define properties (invariants) that should hold for all inputs, and the testing framework generates random inputs to verify those properties. Implemented in Python by **Hypothesis**. (Ch. 21)