property-based testing

Also written: Hypothesis

A style of testing where a library such as Hypothesis generates many inputs to check that a rule always holds. It can find edge cases that hand-written examples miss.