QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs

Our summary

The paper that launched property-based testing: rather than hand-writing examples, you state a property that should hold for all inputs and let the tool generate hundreds of randomized cases trying to falsify it, shrinking any counterexample to a minimal failing case.

Why it matters

The conceptual basis for property-based probing of LLMs — assert an invariant, then generate inputs to break it.

Cited by these methods

Cite this