QuickCheck

QuickCheck: a lightweight tool for random testing of Haskell programs. QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are discribed 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. When a function is built from separately tested components, then random testing suffuces to obtain good coverage of the definition under test.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 72 articles , 1 standard article )

Showing results 1 to 20 of 72.
Sorted by year (citations)

1 2 3 4 next

  1. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  2. Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas: Ask-elle: an adaptable programming tutor for Haskell giving automated feedback (2017) MathEduc
  3. Johansson, Moa: Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (2017)
  4. Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao: Beginner’s Luck: a language for property-based generators (2017)
  5. Dubois, Catherine; Giorgetti, Alain; Genestier, Richard: Tests and proofs for enumerative combinatorics (2016)
  6. Reynolds, Andrew; Blanchette, Jasmin Christian; Cruanes, Simon; Tinelli, Cesare: Model finding for recursive functions in SMT (2016)
  7. Eriksen, Marius; Sperber, Michael; Madhavapeddy, Anil: CUFP’13 scribe’s report (2015)
  8. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in logic programming (2015)
  9. Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C.: Foundational property-based testing (2015)
  10. Rosén, Dan; Smallbone, Nicholas: TIP: tools for inductive provers (2015)
  11. Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl: A transformational approach to resource analysis with typed-norms (2014)
  12. Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor: Prologcheck -- property-based testing in prolog (2014)
  13. Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
  14. Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen: Hipster: integrating theory exploration in a proof assistant (2014)
  15. Poza, María; Domínguez, César; Heras, Jónathan; Rubio, Julio: A certified reduction strategy for homological image processing (2014)
  16. Tremblay, Hugo; Labelle, Gilbert; Brlek, Srečko; Blondin Massé, Alexandre: Exhaustive generation of atomic combinatorial differential operators (2014)
  17. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  18. David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek: Asymptotically almost all $\lambda $-terms are strongly normalizing (2013)
  19. St-Amour, Vincent; Toronto, Neil: Experience report: applying random testing to a base type environment (2013) ioport
  20. Bulwahn, Lukas: The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof (2012)

1 2 3 4 next