Property Based Testing
Kind: technique
Record: reasoning:technique-property-based-testing
Canonical: Reasoning
Asserts that an invariant holds across a generated input space
Listed in Reasoning records, after End To End Testing and before Differential Testing.