Document

HTTP/1

.1 200 OK date: Thu, 02 Jul 2026 13:02:38 GMT server: mw-web.codfw.main-59656c8c96-j5652 x-content-type-options: nosniff content-language: en accept-ch: reporting-endpoints: csp-report-to-endpoint='/w/api.php?action=cspreport&format=json'; content-security-policy: script-src 'unsafe-eval' blob: 'self' meta.wikimedia.org *.wikimedia.org *.wikipedia.org *.wikinews.org *.wiktionary.org *.wikibooks.org *.wikiversity.org *.wikisource.org wikisource.org *.wikiquote.org *.wikidata.org *.wikifunctions.org *.wikivoyage.org *.mediawiki.org mediawiki.org wikimedia.org *.wmflabs.org *.wmcloud.org *.toolforge.org wss://*.toolforge.org *.jsdelivr.net unpkg.com cdnjs.cloudflare.com raw.githubusercontent.com *.github.com code.jquery.com cdn.mathjax.org use.typekit.net fonts.cdnfonts.com use.fontawesome.com i.ytimg.com rsms.me doi.org localhost https://localhost:* http://localhost:* wss://localhost:* ws://localhost:* *.google.com *.gstatic.com *.googleapis.com *.translate.yandex.net yastatic.net ya.ru radically.github.io cdn.sammdot.ca cdn.fontshare.com viaf.org publicai-proxy.alaexis.workers.dev iiif.archive.org api.flickr.com live.staticflickr.com api.anthropic.com api.openai.com api.publicai.co catalogo.pusc.it parsifal.urbe.it opac.sbn.it overpass-api.de api.openrouteservice.org archive.org *.openstreetmap.org *.waymarkedtrails.org *.thunderforest.com registry.ipe.wiki analytics.ipe.wiki qlever.dev app.goacoustic.com wikipedia-archive.ourworldindata.org api.inaturalist.org inaturalist-open-data.s3.amazonaws.com validator.w3.org db.onlinewebfonts.com fontlibrary.org 'unsafe-inline' auth.wikimedia.org; default-src 'self' data: blob: upload.wikimedia.org https://commons.wikimedia.org meta.wikimedia.org *.wikimedia.org *.wikipedia.org *.wikinews.org *.wiktionary.org *.wikibooks.org *.wikiversity.org *.wikisource.org wikisource.org *.wikiquote.org *.wikidata.org *.wikifunctions.org *.wikivoyage.org *.mediawiki.org mediawiki.org wikimedia.org *.wmflabs.org *.wmcloud.org *.toolforge.org wss://*.toolforge.org *.jsdelivr.net unpkg.com cdnjs.cloudflare.com raw.githubusercontent.com *.github.com code.jquery.com cdn.mathjax.org use.typekit.net fonts.cdnfonts.com use.fontawesome.com i.ytimg.com rsms.me doi.org localhost https://localhost:* http://localhost:* wss://localhost:* ws://localhost:* *.google.com *.gstatic.com *.googleapis.com *.translate.yandex.net yastatic.net ya.ru radically.github.io cdn.sammdot.ca cdn.fontshare.com viaf.org publicai-proxy.alaexis.workers.dev iiif.archive.org api.flickr.com live.staticflickr.com api.anthropic.com api.openai.com api.publicai.co catalogo.pusc.it parsifal.urbe.it opac.sbn.it overpass-api.de api.openrouteservice.org archive.org *.openstreetmap.org *.waymarkedtrails.org *.thunderforest.com registry.ipe.wiki analytics.ipe.wiki qlever.dev app.goacoustic.com wikipedia-archive.ourworldindata.org api.inaturalist.org inaturalist-open-data.s3.amazonaws.com validator.w3.org db.onlinewebfonts.com fontlibrary.org en.wikibooks.org en.wikinews.org en.wikiquote.org en.wikisource.org en.wikiversity.org en.wikivoyage.org en.wiktionary.org www.mediawiki.org commons.wikimedia.org foundation.wikimedia.org incubator.wikimedia.org species.wikimedia.org wikimania.wikimedia.org www.wikidata.org www.wikifunctions.org auth.wikimedia.org; style-src 'self' data: blob: upload.wikimedia.org https://commons.wikimedia.org meta.wikimedia.org *.wikimedia.org *.wikipedia.org *.wikinews.org *.wiktionary.org *.wikibooks.org *.wikiversity.org *.wikisource.org wikisource.org *.wikiquote.org *.wikidata.org *.wikifunctions.org *.wikivoyage.org *.mediawiki.org mediawiki.org wikimedia.org *.wmflabs.org *.wmcloud.org *.toolforge.org wss://*.toolforge.org *.jsdelivr.net unpkg.com cdnjs.cloudflare.com raw.githubusercontent.com *.github.com code.jquery.com cdn.mathjax.org use.typekit.net fonts.cdnfonts.com use.fontawesome.com i.ytimg.com rsms.me doi.org localhost https://localhost:* http://localhost:* wss://localhost:* ws://localhost:* *.google.com *.gstatic.com *.googleapis.com *.translate.yandex.net yastatic.net ya.ru radically.github.io cdn.sammdot.ca cdn.fontshare.com viaf.org publicai-proxy.alaexis.workers.dev iiif.archive.org api.flickr.com live.staticflickr.com api.anthropic.com api.openai.com api.publicai.co catalogo.pusc.it parsifal.urbe.it opac.sbn.it overpass-api.de api.openrouteservice.org archive.org *.openstreetmap.org *.waymarkedtrails.org *.thunderforest.com registry.ipe.wiki analytics.ipe.wiki qlever.dev app.goacoustic.com wikipedia-archive.ourworldindata.org api.inaturalist.org inaturalist-open-data.s3.amazonaws.com validator.w3.org db.onlinewebfonts.com fontlibrary.org 'unsafe-inline'; object-src 'none'; report-uri /w/api.php?action=cspreport&format=json; report-to csp-report-to-endpoint last-modified: Thu, 18 Jun 2026 13:02:38 GMT content-type: text/html; charset=UTF-8 age: 0 accept-ranges: bytes x-cache: cp2047 miss, cp2047 miss x-cache-status: miss server-timing: cache;desc="miss", host;desc="cp2047" strict-transport-security: max-age=106384710; includeSubDomains; preload report-to: { "group": "wm_nel", "max_age": 604800, "endpoints": [{ "url": "https://intake-logging.wikimedia.org/v1/events?stream=w3c.reportingapi.network_error&schema_uri=/w3c/reportingapi/network_error/1.0.0" }] } nel: { "report_to": "wm_nel", "max_age": 604800, "failure_fraction": 0.05, "success_fraction": 0.0} set-cookie: WMF-Last-Access=02-Jul-2026;Path=/;HttpOnly;secure;Expires=Mon, 03 Aug 2026 12:00:00 GMT set-cookie: WMF-Last-Access-Global=02-Jul-2026;Path=/;Domain=.wikipedia.org;HttpOnly;secure;Expires=Mon, 03 Aug 2026 12:00:00 GMT set-cookie: WMF-DP=df1;Path=/;HttpOnly;secure;Expires=Fri, 03 Jul 2026 00:00:00 GMT x-client-ip: 75.28.18.94 cache-control: private, s-maxage=0, max-age=0, must-revalidate, no-transform vary: Accept-Encoding,X-Subdomain,Cookie,Authorization,User-Agent set-cookie: GeoIP=US:TX:McKinney:33.20:-96.62:v4; Path=/; secure; Domain=.wikipedia.org set-cookie: NetworkProbeLimit=0.001;Path=/;Secure;SameSite=None;Max-Age=3600 set-cookie: WMF-Uniq=cA09ryt0LDlo3utqQmBaxQORAAAAAFvdAw5lMHEAoywYmkOVNN_yr-Pq-Pgzd_ST;Domain=.wikipedia.org;Path=/;HttpOnly;secure;SameSite=None;Expires=Fri, 02 Jul 2027 00:00:00 GMT transfer-encoding: chunked x-request-id: 1cccaa13-c67f-47c6-8cf2-b6d5ea1953a3 x-analytics: 8000 QuickCheck - Wikipedia Jump to content Main menu Main menu move to sidebar hide Navigation Main page Contents Current events Random article About Wikipedia Contact us Contribute Help Learn to edit Community portal Recent changes Upload file Special pages Search Search Appearance Donate Create account Log in Personal tools Donate Create account Log in Contents move to sidebar hide (Top) 1 Software 2 See also 3 References 4 Further reading 5 External links Toggle the table of contents QuickCheck 3 languages Español 日本語 Svenska Edit links Article Talk English Read Edit View history Tools Tools move to sidebar hide Actions Read Edit View history 8000 General What links here Related changes Upload file Permanent link Page information Cite this page Get shortened URL Switch to legacy parser Print/export Download as PDF Printable version In other projects Wikidata item Appearance move to sidebar hide From Wikipedia, the free encyclopedia Software testing software For the convenience store, see QuickChek . "},"logo caption":{"wt":""},"screenshot":{"wt":""},"caption":{"wt":""},"author":{"wt":""},"developer":{"wt":"Koen Claessen, [[John Hughes (computer scientist)|John Hughes]]"},"released":{"wt":"{{Start date and age|1999}}"},"latest release version":{"wt":"2.14.2"},"latest release date":{"wt":"{{Start date and age|2020|11|14|df=yes}}"},"latest preview version":{"wt":""},"latest preview date":{"wt":""},"repo":{"wt":"{{URL|https://github.com/nick8325/quickcheck}}"},"programming language":{"wt":"[[Haskell]]"},"operating system":{"wt":"[[Unix-like]], [[Microsoft Windows|Windows]]"},"platform":{"wt":""},"size":{"wt":""},"language":{"wt":"English"},"genre":{"wt":"[[Software testing]]"},"license":{"wt":"[[BSD licenses|BSD-style]]"},"alexa":{"wt":""},"website":{"wt":"{{URL|www.cse.chalmers.se/~rjmh/QuickCheck}}"}},"i":0}}]}'> QuickCheck Developers Koen Claessen, John Hughes Release 1999 ; 27 years ago ( 1999 ) Stable release 2.14.2 / 14 November 2020 ; 5 years ago ( 2020-11-14 ) Written in Haskell Operating system Unix-like , Windows Available in English Type Software testing License BSD-style Website www .cse .chalmers .se /~rjmh /QuickCheck Repository github .com /nick8325 /quickcheck QuickCheck is a software library , a combinator library , originally written in the programming language Haskell , designed to assist in software testing by generating test cases for test suites – an approach known as property testing . Software [ edit ] It is compatible with the compiler , Glasgow Haskell Compiler (GHC) and the interpreter , Haskell User's Gofer System ( Hugs ). It is free and open-source software released under a BSD-style license. In QuickCheck, assertions are written about logical properties that a function should fulfill. Then QuickCheck attempts to generate a test case that falsifies such assertions. Once such a test case is found, QuickCheck tries to reduce it to a minimal failing subset by removing or simplifying input data that are unneeded to make the test fail. The project began in 1999. Besides being used to test regular programs, QuickCheck is also useful for building up a functional specification , for documenting what functions should be doing, and for testing compiler implementations. [ 1 ] Re-implementations of QuickCheck exist for many languages: {{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/qc |title=qc |website=[[GitHub]] |date=October 13, 2011 |access-date=December 9, 2011}}</ref><ref>{{cite web |last=Zito |first=Andrea (nivox) |url=https://github.com/nivox/quickcheck4c |title=quickcheck4c |website=GitHub |date=July 27, 2014 |access-date=July 27, 2014}}</ref><ref>{{cite web |last=Vokes |first=Scott |url=https://github.com/silentbicycle/theft |title=Theft: property-based testing for C |website=GitHub |date=March 30, 2015 |access-date=November 16, 2015}}</ref>\n* [[C++]]<ref>{{cite web |url=http://software.legiasoft.com/quickcheck/ |title=QuickCheck |website=Software.legiasoft.com |access-date=December 9, 2011}}</ref><ref>{{cite web |url=https://github.com/philipp-classen/CppQuickCheck |title=CppQuickCheck |website=GitHub |access-date=March 30, 2015}}</ref><ref>{{cite web |url=https://github.com/emil-e/rapidcheck |title=RapidCheck |website=GitHub |access-date=March 30, 2015}}</ref> \n* [[Chicken (Scheme implementation)|Chicken]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/cluckcheck |title=cluckcheck |website=GitHub |access-date=December 9, 2011}}</ref> \n* [[Clojure]]<ref>{{cite web |last=Draper |first=Reid (reiddraper) |url=https://github.com/reiddraper/simple-check |title=simple-check |website=GitHub |date=May 9, 2013 |access-date=August 21, 2013}}</ref><ref>{{cite web |last=Draper |first=Reid (reiddraper) |url=https://github.com/clojure/test.check |title=org.clojure/test.check |website=GitHub |date=March 27, 2014 |access-date=March 27, 2014}}</ref>\n* [[Common Lisp]]<ref>{{cite web |url=http://www.cliki.net/cl-quickcheck |title=cl-quickcheck |website=Cliki |access-date=December 9, 2011}}</ref> \n* [[D (programming language)|D]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/dashcheck |title=dashcheck |website=GitHub |date=October 27, 2011 |access-date=December 9, 2011}}</ref> \n* [[Elm (programming language)|Elm]]<ref>{{cite web |url=https://github.com/elm-explorations/test |title=elm-explorations/test |website=GitHub |access-date=November 20, 2018}}</ref>\n* [[Elixir (programming language)|Elixir]]<ref>{{cite web |url=https://github.com/pragdave/quixir |title=quixir: Property-based testing for Elixir |last=Thomas |first=Dave (pragdave) |date=2017-07-17 |website=GitHub |access-date=2019-04-01}}</ref><ref>{{cite web |url=https://github.com/alfert/propcheck |title=propcheck: Property based testing for Elixir |last=Alfert|first=Klaus |website=GitHub |access-date=2021-02-01}}</ref>\n* [[Erlang (programming language)|Erlang]]<ref>{{cite web|url=https://github.com/proper-testing/proper|title=PropEr: a QuickCheck-inspired property-based testing tool for Erlang|website=GitHub|access-date=May 8, 2019}}</ref>\n* [[F Sharp (programming language)|F#]], and [[C Sharp (programming language)|C#]], [[Visual Basic (.NET)]] (VB.NET)<ref>{{cite web |url=https://fscheck.github.io/FsCheck |title=FsCheck |website=[[GitHub]] |date=June 25, 2015 |access-date=June 25, 2011}}</ref> \n* [[Factor (programming language)|Factor]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/factcheck |title=factcheck |website=GitHub |date=October 13, 2011 |access-date=December 9, 2011}}</ref>\n* [[Go (programming language)|Go]]<ref>{{cite web |author=leanovate |url=https://github.com/leanovate/gopter |title=Gopter |website=[[GitHub]] |date=April 26, 2016 |access-date=April 26, 2016}}</ref> \n* [[Io (programming language)|Io]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/IoCheck |title=IoCheck |website=GitHub |date=October 17, 2011 |access-date=December 9, 2011}}</ref> \n* [[Java (programming language)|Java]]<ref>{{cite web |url=https://github.com/functionaljava/functionaljava/ |title=FunctionalJava's QuickCheck module |website=FunctionalJava |access-date=August 14, 2015}}</ref><ref>{{cite web |url=https://bitbucket.org/blob79/quickcheck |title=Quickcheck for Java |website=Quickcheck.dev.java.net |access-date=December 9, 2011 |archive-date=November 17, 2011 |archive-url=https://web.archive.org/web/20111117192810/https://bitbucket.org/blob79/quickcheck/ |url-status=dead }}</ref><ref>{{cite web |url=http://www.jcheck.org/ |title=JCheck |website=JCheck |access-date=December 9, 2011}}</ref><ref>{{cite web |url=https://github.com/pholser/junit-quickcheck/ |title=junit-quickcheck |website=junit-quickcheck |access-date=July 3, 2013}}</ref><ref>{{cite web |url=http://jqwik.net/ |title=jqwik for the JUnit5 Platform |website=jqwik |access-date=June 19, 2017}}</ref><ref>{{cite web |url=https://github.com/ncredinburgh/QuickTheories |title=Quick Theories property testing for Java 8 |website=ncredinburgh |access-date=October 30, 2017}}</ref><ref>{{cite web |url=https://github.com/JetBrains/jetCheck |title=jetCheck property-based testing for Java 8 |website=JetBrains |access-date=July 10, 2018}}</ref>\n* [[JavaScript]]<ref>{{cite web |last=Thompson |first=Darrin (darrint) |url=http://bitbucket.org/darrint/qc.js/ |title=qc.js |website=Bitbucket |access-date=December 9, 2011 |archive-date=August 7, 2011 |archive-url=https://web.archive.org/web/20110807201253/https://bitbucket.org/darrint/qc.js/ |url-status=dead }}</ref><ref>{{cite web |last=Crockford |first=Douglas |url=https://github.com/douglascrockford/JSCheck |title=jscheck |website=GitHub |access-date=October 21, 2017}}</ref><ref>{{cite web |last=Dubien |first=Nicolas (dubzzz) |url=https://github.com/dubzzz/fast-check |title=fast-check |website=GitHub |access-date=February 3, 2018}}</ref><ref>{{cite web |title=JSVerify — property based testing for JavaScript. Like QuickCheck. |url=https://jsverify.github.io |website=jsverify.github.io}}</ref>\n* [[Julia (programming language)|Julia]]<ref>{{cite web |url=https://github.com/pkalikman/Checkers.jl |title=Checkers.jl |website=[[GitHub]] |access-date=April 8, 2018}}</ref>\n* [[Logtalk]]<ref>{{cite web |url=https://logtalk.org/manuals/devtools/lgtunit.html |title=lgtunit |access-date=February 26, 2020}}</ref> \n* [[Lua (programming language)|Lua]]<ref>{{cite web |url=https://github.com/luc-tielen/lua-quickcheck |title=lua-quickcheck |website=GitHub |access-date=February 25, 2017}}</ref> \n* [[Wolfram Mathematica|Mathematica]]<ref>{{Cite web|title=QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community|url=https://community.wolfram.com/groups/-/m/t/2309649|access-date=2021-07-11|website=community.wolfram.com|language=en-US}}</ref>\n* [[Objective-C]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/objcheck |title=objcheck |website=GitHub |access-date=December 9, 2011}}</ref> \n* [[OCaml]]<ref>{{cite web |last=Cruanes |first=Simon |url=https://github.com/c-cube/qcheck |title=QuickCheck inspired property-based testing for OCaml. |website=GitHub |access-date=September 1, 2022}}</ref>\n* [[Perl]]<ref>{{cite web |url=https://metacpan.org/module/Test::LectroTest::Tutorial |title=Test: LectroTest: Tutorial |quote=The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes}}</ref> \n* [[Prolog]]<ref>{{cite web |url=http://www.swi-prolog.org/pack/list?p=quickcheck |title=library(quickcheck)}}</ref><ref>{{cite book |chapter-url=http://repositorio.inesctec.pt/bitstreams/8eba3be3-020c-4ab3-9b49-398b3b65a561/download\n |last1=Amaral |first1=Claudio |last2=Florido |first2=Mario |last3=Costa |first3=Vitor Santos |year=2014\n |chapter=PrologCheck - Property-based testing in Prolog\n |title=Proceedings of the Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)\n|volume=8475 |pages=1–17 |doi=10.1007/978-3-319-07151-0_1 |series=Lecture Notes in Computer Science |isbn=978-3-319-07150-3 }}</ref>\n* [[PHP]]<ref>{{cite web |last=Oestreicher |first=Stefan (steos) |url=https://github.com/steos/php-quickcheck |title=PhpQuickCheck |website=GitHub |access-date=November 12, 2015}}</ref>\n* [[Pony (programming language)|Pony]]<ref>{{cite web |last=Wahl |first=Matthias (mfelsche) |url=https://github.com/mfelsche/ponycheck |title=ponycheck |website=GitHub |access-date=December 26, 2018}}</ref>\n* [[Python (programming language)|Python]]<ref>{{cite web |last=MacIver |first=David |url=https://hypothesis.works/articles/quickcheck-in-every-language/ |title=QuickCheck in Every Language |date=April 16, 2016 |access-date=Aug 1, 2022}}</ref> \n* [[R (programming language)|R]]<ref>{{cite web |url=https://github.com/armcn/quickcheck |title=quickcheck: Property Based Testing in R |date=March 17, 2022 |website=GitHub}}</ref>\n* [[Racket (programming language)|Racket]]<ref>{{cite web |url=https://docs.racket-lang.org/quickcheck/index.html |title=Quickcheck |website=docs.racket-lang.org}}</ref>\n* [[Rocq]]<ref>{{cite web |url=https://github.com/QuickChick/QuickChick |title=QuickChick |website=GitHub |access-date=August 26, 2019}}</ref> \n* [[Ruby (programming language)|Ruby]]<ref>{{cite web |url=https://github.com/mcandre/rubycheck |title=Rubycheck: a Ruby port of the QuickCheck unit test framework |last=Pennebaker |first=Andrew (mcandre) |date=September 14, 2017 |website=GitHub}}</ref> \n* [[Rust (programming language)|Rust]]<ref>{{cite web |last=Gallant |first=Andrew (BurntSushi) |url=https://github.com/BurntSushi/quickcheck |title=QuickCheck for Rust (with shrinking) |website=GitHub |access-date=May 27, 2015}}</ref><ref>{{cite web |url=https://github.com/altsysrq/proptest |title=Hypothesis-like property testing for Rust|website=[[GitHub]] }}</ref>\n* [[Scala (programming language)|Scala]]<ref>{{cite web |url=https://github.com/rickynils/scalacheck |title=ScalaCheck |website=[[GitHub]] |access-date=June 30, 2016}}</ref><ref>{{Cite web |url=https://github.com/scalaprops/scalaprops |title=scalaprops/scalaprops |website=GitHub |access-date=2016-06-30}}</ref><ref>{{Cite web |url=https://github.com/japgolly/nyaya |title=nyaya |website=GitHub |access-date=2016-06-30}}</ref> \n* [[Scheme (programming language)|Scheme]]<ref>{{cite web |url=http://www.inf.ufrgs.br/~carlossch/scheme-check/ |title=Scheme-Check: Randomized Unit Testing for PLT Scheme |archive-url=https://web.archive.org/web/20050212183945/http://www.inf.ufrgs.br/~carlossch/scheme-check/ |archive-date=2005-02-12 |quote=Scheme-Check is a module that implements randomized unit testing in PLT Scheme. With Scheme-Check, instead of creating many individual tests, you specify properties of your code and Scheme-Check generates a large amount of random data sets to test those properties. Scheme-Check is basically a Scheme port of QuickCheck.}}</ref><ref>{{Cite web |first=Antero|last=Mejr|url=https://srfi.schemers.org/srfi-252/|title=SRFI 252: Property Testing|website=[[Scheme Requests for Implementation]]|access-date=2024-04-25}}</ref>\n* [[Smalltalk]]<ref>{{cite web |last=Pennebaker |first=Andrew (mcandre) |url=https://github.com/mcandre/quicksmash |title=QuickSmash |website=GitHub |access-date=December 9, 2011}}</ref> \n* [[Standard ML]]<ref>{{cite web |url=http://contrapunctus.net/league/haques/qcheck/ |title=QCheck/SML |website=Contrapunctus |date=November 22, 2011 |access-date=December 9, 2011}}</ref> \n* [[Swift (programming language)|Swift]]<ref>{{cite web |url=https://github.com/typelift/SwiftCheck |title=SwiftCheck: QuickCheck for Swift |date=November 3, 2017 |website=GitHub}}</ref>\n* [[TypeScript]]<ref>{{cite web |last=Dubien |first=Nicolas (dubzzz) |url=https://github.com/dubzzz/fast-check |title=fast-check |website=GitHub |access-date=February 3, 2018}}</ref>\n* [[Whiley (programming language)|Whiley]]<ref>{{cite web |last=Chin |first=Janice |url=http://ecs.victoria.ac.nz/~djp/files/JaniceChinENGR489.pdf |title=QuickCheck for Whiley |access-date=April 20, 2020 }}{{Dead link|date=July 2025 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>\n",{"template":{"target":{"wt":"div col end","href":"./Template:Div_col_end"},"params":{},"i":1}}]}'> C [ 2 ] [ 3 ] [ 4 ] C++ [ 5 ] [ 6 ] [ 7 ] Chicken [ 8 ] Clojure [ 9 ] [ 10 ] Common Lisp [ 11 ] D [ 12 ] Elm [ 13 ] Elixir [ 14 ] [ 15 ] Erlang [ 16 ] F# , and C# , Visual Basic (.NET) (VB.NET) [ 17 ] Factor [ 18 ] Go [ 19 ] Io [ 20 ] Java [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] JavaScript [ 28 ] [ 29 ] [ 30 ] [ 31 ] Julia [ 32 ] Logtalk [ 33 ] Lua [ 34 ] Mathematica [ 35 ] Objective-C [ 36 ] OCaml [ 37 ] Perl [ 38 ] Prolog [ 39 ] [ 40 ] PHP [ 41 ] Pony [ 42 ] Python [ 43 ] R [ 44 ] Racket [ 45 ] Rocq [ 46 ] Ruby [ 47 ] Rust [ 48 ] [ 49 ] Scala [ 50 ] [ 51 ] [ 52 ] Scheme [ 53 ] [ 54 ] Smalltalk [ 55 ] Standard ML [ 56 ] Swift [ 57 ] TypeScript [ 58 ] Whiley [ 59 ] See also [ edit ] Metamorphic testing SPIN model checker Software testing#Property testing References [ edit ] ↑ "Data.Collections.Properties" . hackage.haskell.org . ↑ Pennebaker, Andrew (mcandre) (October 13, 2011). "qc" . GitHub . Retrieved December 9, 2011 . ↑ Zito, Andrea (nivox) (July 27, 2014). "quickcheck4c" . GitHub . Retrieved July 27, 2014 . ↑ Vokes, Scott (March 30, 2015). "Theft: property-based testing for C" . GitHub . Retrieved November 16, 2015 . ↑ "QuickCheck" . Software.legiasoft.com . Retrieved December 9, 2011 . ↑ "CppQuickCheck" . GitHub . Retrieved March 30, 2015 . ↑ "RapidCheck" . GitHub . Retrieved March 30, 2015 . ↑ Pennebaker, Andrew (mcandre). "cluckcheck" . GitHub . Retrieved December 9, 2011 . ↑ Draper, Reid (reiddraper) (May 9, 2013). "simple-check" . GitHub . Retrieved August 21, 2013 . ↑ Draper, Reid (reiddraper) (March 27, 2014). "org.clojure/test.check" . GitHub . Retrieved March 27, 2014 . ↑ "cl-quickcheck" . Cliki . Retrieved December 9, 2011 . ↑ Pennebaker, Andrew (mcandre) (October 27, 2011). "dashcheck" . GitHub . Retrieved December 9, 2011 . ↑ "elm-explorations/test" . GitHub . Retrieved November 20, 2018 . ↑ Thomas, Dave (pragdave) (July 17, 2017). "quixir: Property-based testing for Elixir" . GitHub . Retrieved April 1, 2019 . ↑ Alfert, Klaus. "propcheck: Property based testing for Elixir" . GitHub . Retrieved February 1, 2021 . ↑ "PropEr: a QuickCheck-inspired property-based testing tool for Erlang" . GitHub . Retrieved May 8, 2019 . ↑ "FsCheck" . GitHub . June 25, 2015 . Retrieved June 25, 2011 . ↑ Pennebaker, Andrew (mcandre) (October 13, 2011). "factcheck" . GitHub . Retrieved December 9, 2011 . ↑ leanovate (April 26, 2016). "Gopter" . GitHub . Retrieved April 26, 2016 . ↑ Pennebaker, Andrew (mcandre) (October 17, 2011). "IoCheck" . GitHub . Retrieved December 9, 2011 . ↑ "FunctionalJava's QuickCheck module" . FunctionalJava . Retrieved August 14, 2015 . ↑ "Quickcheck for Java" . Quickcheck.dev.java.net . Archived from the original on November 17, 2011 . Retrieved December 9, 2011 . ↑ "JCheck" . JCheck . Retrieved December 9, 2011 . ↑ "junit-quickcheck" . junit-quickcheck . Retrieved July 3, 2013 . ↑ "jqwik for the JUnit5 Platform" . jqwik . Retrieved June 19, 2017 . ↑ "Quick Theories property testing for Java 8" . ncredinburgh . Retrieved October 30, 2017 . ↑ "jetCheck property-based testing for Java 8" . JetBrains . Retrieved July 10, 2018 . ↑ Thompson, Darrin (darrint). "qc.js" . Bitbucket . Archived from the original on August 7, 2011 . Retrieved December 9, 2011 . ↑ Crockford, Douglas. "jscheck" . GitHub . Retrieved October 21, 2017 . ↑ Dubien, Nicolas (dubzzz). "fast-check" . GitHub . Retrieved February 3, 2018 . ↑ "JSVerify — property based testing for JavaScript. Like QuickCheck" . jsverify.github.io . ↑ "Checkers.jl" . GitHub . Retrieved April 8, 2018 . ↑ "lgtunit" . Retrieved February 26, 2020 . ↑ "lua-quickcheck" . GitHub . Retrieved February 25, 2017 . ↑ "QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community" . community.wolfram.com . Retrieved July 11, 2021 . ↑ Pennebaker, Andrew (mcandre). "objcheck" . GitHub . Retrieved December 9, 2011 . ↑ Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml" . GitHub . Retrieved September 1, 2022 . ↑ "Test: LectroTest: Tutorial" . The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes ↑ "library(quickcheck)" . ↑ Amaral, Claudio; Florido, Mario; Costa, Vitor Santos (2014). "PrologCheck - Property-based testing in Prolog" . Proceedings of the Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) . Lecture Notes in Computer Science. Vol. 8475. pp. 1– 17. doi : 10.1007/978-3-319-07151-0_1 . ISBN 978-3-319-07150-3 . ↑ Oestreicher, Stefan (steos). "PhpQuickCheck" . GitHub . Retrieved November 12, 2015 . ↑ Wahl, Matthias (mfelsche). "ponycheck" . GitHub . Retrieved December 26, 2018 . ↑ MacIver, David (April 16, 2016). "QuickCheck in Every Language" . Retrieved August 1, 2022 . ↑ "quickcheck: Property Based Testing in R" . GitHub . March 17, 2022. ↑ "Quickcheck" . docs.racket-lang.org . ↑ "QuickChick" . GitHub . Retrieved August 26, 2019 . ↑ Pennebaker, Andrew (mcandre) (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework" . GitHub . ↑ Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)" . GitHub . Retrieved May 27, 2015 . ↑ "Hypothesis-like property testing for Rust" . GitHub . ↑ "ScalaCheck" . GitHub . Retrieved June 30, 2016 . ↑ "scalaprops/scalaprops" . GitHub . Retrieved June 30, 2016 . ↑ "nyaya" . GitHub . Retrieved June 30, 2016 . ↑ "Scheme-Check: Randomized Unit Testing for PLT Scheme" . Archived from the original on February 12, 2005. Scheme-Check is a module that implements randomized unit testing in PLT Scheme. With Scheme-Check, instead of creating many individual tests, you specify properties of your code and Scheme-Check generates a large amount of random data sets to test those properties. Scheme-Check is basically a Scheme port of QuickCheck. ↑ Mejr, Antero. "SRFI 252: Property Testing" . Scheme Requests for Implementation . Retrieved April 25, 2024 . ↑ Pennebaker, Andrew (mcandre). "QuickSmash" . GitHub . Retrieved December 9, 2011 . ↑ "QCheck/SML" . Contrapunctus . November 22, 2011 . Retrieved December 9, 2011 . ↑ "SwiftCheck: QuickCheck for Swift" . GitHub . November 3, 2017. ↑ Dubien, Nicolas (dubzzz). "fast-check" . GitHub . Retrieved February 3, 2018 . ↑ Chin, Janice. "QuickCheck for Whiley" (PDF) . Retrieved April 20, 2020 . [ permanent dead link ] Further reading [ edit ] Claessen, Koen; Hughes, John (2002). "Testing Monadic Programs with QuickCheck" ( PostScript ) . SIGPLAN Notices . 37 (12): 47– 59. CiteSeerX 10.1.1.111.1618 . doi : 10.1145/636517.636527 . Retrieved January 29, 2006 . Claessen, Koen & Hughes, John (2000). "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" (PDF) . Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN . Retrieved January 29, 2006 . Claessen, Koen & Hughes, John (2003). "Specification Based Testing with QuickCheck" . The Fun of Programming, Cornerstones of Computing, Jeremy Gibbons and Oege de Moor (Eds.) . Palgrave: 17– 40. Archived from the original on July 4, 2007 . Retrieved January 29, 2006 . Claessen, Koen (August 2004). "QuickCheck: Specification-based Random Testing" . Presentation at Summer Institute on Trends in Testing: Theory, Techniques and Tools . Archived from the original ( PPT ) on April 30, 2007 . Retrieved January 29, 2006 . Claessen, Koen; Runciman, Colin; Chitil, Olaf & Hughes, John (2002). "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat" . Advanced Functional Programming: 4th International School, Lecture Notes in Computer Science . 2638 . Springer Verlag: 59– 99. Archived from the original ( PostScript ) on October 12, 2006 . Retrieved January 29, 2006 . External links [ edit ] Wikibooks has a book on the topic of: Haskell/Testing QuickCheck on Hackage v t e Haskell programming Software Implementations ( features ) Generic Haskell ° Glasgow Haskell Compiler ° Template Haskell ° Gofer ° → Hugs ° York Haskell Compiler ° ( Yhc ) Dialects Agda ° Cryptol ° Curry ° Elm ° Hume ° Idris ° Ωmega ° Orwell ° Pugs ° PureScript ° TidalCycles ° Ur ° Electronic design Atom ° Bluespec SystemVerilog (BSV) Libraries Concurrent Haskell ° Haskell Platform ° Parsec ° QuickCheck ° Package managers Cabal ° Stack ° Windowing systems Fudgets wxHaskell ° xmonad ° Web frameworks Servant ° Snap ° Yesod ° Cardano ° Darcs ° Ganeti ° git-annex ° Haddock ° HaXml ° Liquid Haskell ° LOLITA Pandoc ° Paradox ° SQream DB Book Real World Haskell Community Eponym Haskell Curry Arvind Lennart Augustsson Richard Bird Jeremy Gibbons Andrew D. Gordon Paul Hudak John Hughes John Launchbury John MacFarlane Simon Marlow Conor McBride Erik Meijer Simon Peyton Jones David Roundy Joe Stoy Audrey Tang Simon Thompson Philip Wadler Italics = discontinued • ° = Open-source software Book Categories : Family • Software Retrieved from " https://en.wikipedia.org/w/index.php?title=QuickCheck&oldid=1338232429 " Categories : Software testing tools Free computer libraries Free software programmed in Haskell Free software testing tools Software using the BSD license Hidden categories: Articles with short description Short description matches Wikidata Use mdy dates from December 2011 All articles with dead external links Articles with dead external links from July 2025 Articles with permanently dead external links This page was last edited on 13 February 2026, at 23:18  (UTC) . Page was rendered with Parsoid . Text is available under the Creative Commons Attribution-ShareAlike 4.0 License ; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy . Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. , a non-profit organization. Privacy policy About Wikipedia Disclaimers Contact Wikipedia Legal & safety contacts Code of Conduct Developers Statistics Cookie statement Mobile view Search Search Toggle the table of contents QuickCheck 3 languages Add topic 0