Property-based testing (source code)

= Property-based testing

Generating cases and checking general properties such as conservation, symmetry or bounds rather than only selected input-output pairs.