"Property-based testing checks general rules that should hold across many automatically generated inputs rather than relying only on manually selected examples."
Claessen and Hughes introduced QuickCheck, allowing programmers to express behavioral properties and automatically test them using randomly generated data. This supports the manuscript's distinction between checking a few examples and testing general invariants such as round-trip consistency.
View Source