Everything about QuickCheck

🧭 Start here: a 6-step reading path

1. Read the overview: QuickCheckA 5-minute orientation
2. Skim a recent paper: Makina: A QuickCheck state machine libraryInfluential work since 2022
3. Pick up a classic book: Real World HaskellThe most-reprinted book on the subject
4. Read the landmark paper: QuickCheckCited 216 times
5. Go sideways: List of JVM languagesA closely related topic
6. Go sideways: List of unit testing frameworksA closely related topic

🏆 Landmark papers (most cited)

• QuickCheck

  Koen Claessen, John Hughes · 2000 · ACM SIGPLAN Notices · 216 citations

• QuickCheck

  Koen Claessen, John Hughes · 2011 · ACM SIGPLAN Notices · 108 citations

• hw‐quickcheck: an easy‐to‐use computer program for checking genotypes for agreement with Hardy–Weinberg expectations

  STEVEN T. KALINOWSKI · 2006 · Molecular Ecology Notes · 46 citations

• Testing monadic code with QuickCheck

  Koen Claessen, John Hughes · 2002 · ACM SIGPLAN Notices · 19 citations

• Finding race conditions in Erlang with QuickCheck and PULSE

  Koen Claessen, Michal Palka, Nicholas Smallbone · 2009 · ACM SIGPLAN Notices · 9 citations

• Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop

  Yusuke Wada, Shigeru Kusakabe · 2012 · Journal of Information Processing · 6 citations

• Generating Random Well-Typed Featherweight Java Programs Using QuickCheck

  Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois · 2019 · Electronic Notes in Theoretical Computer Science · 6 citations

• Branching processes for QuickCheck generators

  Agustín Mista, Alejandro Russo, John Hughes · 2018 · ACM SIGPLAN Notices · 5 citations

🆕 Influential since 2022

• Makina: A QuickCheck state machine library

  Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz · 2026 · Journal of Logical and Algebraic Methods in Programming · 1 citations

• CORRELATION BETWEEN THE PTW QUICKCHECK BEAM QUALITY FACTOR AND STANDARDISED PHOTON BEAM QUALITY PARAMETERS

  J.A. Fernandez Albarran, D. Guirado Llorente · 2026 · Physica Medica · 0 citations

• PP22.05 EVALUATE THE USE OF QUICKCHECK CONSTANCY DEVICE ON FLATNESS AND SYMMETRY OF KILOVOLTAGE PHOTON BEAMS

  C. Choi · 2024 · Physica Medica · 0 citations

• QuickCheck: A Point-of-Care Leukocyte Counter for PD Management

  Curtis B. Dobson, Rachel Cant, Michael G. Barker · 2022 · Journal of the American Society of Nephrology · 0 citations

• QuickCheck: A Point-of-Care Method for Rapid Cell Counting in Peritoneal Dialysis-Associated Peritonitis

  Junaid Z. Qazi, Jyoti B. Baharani, Amna Kununa · 2023 · Journal of the American Society of Nephrology · 0 citations

📚 Books worth reading

• Real World HaskellBryan O'Sullivan, John Goerzen · 2008
• Quick check ItalianCandida De Carlo Tondo-Thie, Reiner Thie · 1998
• 📕Nelson quickcheck placement testsW. S. Fowler, W.S. Fowler · 1987
• MIT Virtuellen Unternehmen Zum ErfolgNils Bickhoff, Christiane Böhmer · 2003
• GCSE physicsJohn Avison, Jane Cartledge · 1988
• GCSE chemistryGraham Hill, Graham Hill · 1988
• Evidence ExplainedElizabeth Shown Mills · 2007
• GMAT successJanet Schaeffer · 1996

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• List of JVM languages This list of JVM languages comprises notable computer programming languages that are used to produce computer software that runs on the Java virtual machine…
• List of unit testing frameworks This is a list of notable test automation frameworks commonly used for unit testing. Such frameworks are not limited to unit-level testing; they can be…
• Haskell Haskell (/ˈhæskəl/) is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Haskell pioneered…
• Comparison of programming languages Programming languages are used for controlling the behavior of a machine (often a computer). Like natural languages, programming languages follow rules…
• Comparison of multi-paradigm programming languages Programming languages can be grouped by the number and types of paradigms supported. A concise reference for the programming paradigms listed in this article…
• PureScript PureScript is a strongly typed, purely functional programming language that transpiles to JavaScript and, with alternate backends, to C++11, Erlang, and…
• Hello, world A "Hello, world" program is usually a simple computer program that outputs a message similar to "Hello, world". The text may be printed out or displayed…
• List of programming languages by type The notable programming languages listed here are grouped by their notable language attribute. As a language can have multiple attributes, the same language…