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 103 articles , 1 standard article )

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

1 2 3 4 5 6 next

  1. Reijnen, Ferdie F. H.; Erens, Toby R.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E.: Supervisory controller synthesis and implementation for safety PLCs (2022)
  2. Casso, Ignacio; Morales, José F.; López-García, P.; Hermenegildo, Manuel V.: Testing your (static analysis) truths (2021)
  3. Hozzová, Petra; Kovács, Laura; Rath, Jakob: Automated generation of exam sheets for automated deduction (2021)
  4. Kondratiuk, Dmytro; Seijas, Pablo Lamela; Nemish, Alexander; Thompson, Simon: Standardized crypto-loans on the Cardano blockchain (2021)
  5. Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell (2020)
  6. Lukšič, Žiga; Pretnar, Matija: Local algebraic effect theories (2020)
  7. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
  8. Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
  9. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: A core Erlang semantics for declarative debugging (2019)
  10. David R. MacIver, Zac Hatfield-Dodds; contributors: Hypothesis: A new approach to property-based testing (2019) not zbMATH
  11. Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
  12. Johansson, Moa: Lemma discovery for induction. A survey (2019)
  13. Mostowski, Wojciech: Model-based fault injection for testing gray-box systems (2019)
  14. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  15. Riesco, A.; Rodríguez-Hortalá, J.: Property-based testing for Spark Streaming (2019)
  16. Austin, Evan; Batson, Scott; Curry, Peter; Williams, Bryan: Finding a middle ground for computer-aided cryptography (2018)
  17. Bendkowski, Maciej; Lescanne, Pierre: Counting environments and closures (2018)
  18. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  19. Dubois, Catherine; Giorgetti, Alain: Tests and proofs for custom data generators (2018)
  20. Ishii, Hiromi: A purely functional computer algebra system embedded in Haskell (2018)

1 2 3 4 5 6 next