testing

file

Visible to the public Combining Property-based Testing and Fuzzing

Property-based random testing, popularized by QuickCheck [2], is a form of random testing in which the developer writes properties about input/output pairs that the system under test (SUT) should satisfy. Properties can be fairly sophisticated.