QuickCheck: a lightweight tool for random testing of Haskell programs

@inproceedings{Claessen2000QuickCheckAL,
  title={QuickCheck: a lightweight tool for random testing of Haskell programs},
  author={K. Claessen and John Hughes},
  booktitle={ICFP '00},
  year={2000}
}
Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain… Expand
MuCheck: an extensible tool for mutation testing of haskell programs
Testing monadic code with QuickCheck
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
Random Testing of ML Programs
Lightweight verification of functional programs
QuickEval: An Interactive Tool for Coverage Based Testing of Haskell Programs
1 CurryCheck: A Tool for Testing Properties of Curry Programs
  • 2020
Verifying Haskell programs by combining testing and proving
Property Directed Generation of First-Order Test Data
...
1
2
3
4
5
...