Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
QuickCheck
open-in-new
<h2 id="software">Software</h2> <p>It is compatible with the <a href="/facts/Compiler/WNfCDFJe">compiler</a>, <a href="/facts/Glasgow_Haskell_Compiler/4msB3KFN">Glasgow Haskell Compiler</a> (GHC) and the <a href="/facts/Interpreter_(computing)/JB85fbyb">interpreter</a>, Haskell User's Gofer System (<a href="/facts/Hugs_(interpreter)/yyuFwXVP">Hugs</a>). It is <a href="/facts/Free_and_open-source_software/1cHtjLCB">free and open-source software</a> released under a <a href="/facts/BSD_licenses/XLtmLp5x">BSD-style</a> license. </p><p>In QuickCheck, assertions are written about logical properties that a <a href="/facts/Subroutine/9vFJrg0A">function</a> should fulfill. Then QuickCheck attempts to generate a test case that <a href="/facts/Falsifiability/IlxN7cYB">falsifies</a> 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. </p><p>The project began in 1999. Besides being used to test regular programs, QuickCheck is also useful for building up a <a href="/facts/Functional_specification/8TVokFw6">functional specification</a>, for documenting what functions should be doing, and for testing compiler implementations.<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> </p><p>Re-implementations of QuickCheck exist for many languages: </p> <ul><li><a href="/facts/C_(programming_language)/Ky2No763">C</a><a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a><a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a></li> <li><a href="/facts/C%252B%252B/Et0F2qn9">C++</a><a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a><a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a><a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a></li> <li><a href="/facts/Chicken_(Scheme_implementation)/jqPQRe4q">Chicken</a><a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a></li> <li><a href="/facts/Clojure/3JRNxKXx">Clojure</a><a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a><a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a></li> <li><a href="/facts/Common_Lisp/mq1pRbSF">Common Lisp</a><a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a></li> <li><a href="/facts/Coq_(software)/7oBXgLCE">Coq</a><a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a></li> <li><a href="/facts/D_(programming_language)/4qIzRjkF">D</a><a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a></li> <li><a href="/facts/Elm_(programming_language)/TnQVYGn6">Elm</a><a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a></li> <li><a href="/facts/Elixir_(programming_language)/vX1J3cgf">Elixir</a><a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a><a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a></li> <li><a href="/facts/Erlang_(programming_language)/2PuxmzT3">Erlang</a><a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a></li> <li><a href="/facts/F_Sharp_(programming_language)/jdXHnYz5">F#</a>, and <a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a>, <a href="/facts/Visual_Basic_(.NET)/09mPEo4q">Visual Basic (.NET)</a> (VB.NET)<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a></li> <li><a href="/facts/Factor_(programming_language)/oSKmJ26c">Factor</a><a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a></li> <li><a href="/facts/Go_(programming_language)/oWlsmAFJ">Go</a><a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a></li> <li><a href="/facts/Io_(programming_language)/06xtsq15">Io</a><a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a></li> <li><a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a><a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a><a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a><a class="footnote-ref" id="fnref:24" href="#fn:24"><sup>24</sup></a><a class="footnote-ref" id="fnref:25" href="#fn:25"><sup>25</sup></a><a class="footnote-ref" id="fnref:26" href="#fn:26"><sup>26</sup></a><a class="footnote-ref" id="fnref:27" href="#fn:27"><sup>27</sup></a><a class="footnote-ref" id="fnref:28" href="#fn:28"><sup>28</sup></a></li> <li><a href="/facts/JavaScript/XhhIIEsl">JavaScript</a><a class="footnote-ref" id="fnref:29" href="#fn:29"><sup>29</sup></a><a class="footnote-ref" id="fnref:30" href="#fn:30"><sup>30</sup></a><a class="footnote-ref" id="fnref:31" href="#fn:31"><sup>31</sup></a><a class="footnote-ref" id="fnref:32" href="#fn:32"><sup>32</sup></a></li> <li><a href="/facts/Julia_(programming_language)/AoB0PJ9C">Julia</a><a class="footnote-ref" id="fnref:33" href="#fn:33"><sup>33</sup></a></li> <li><a href="/facts/Logtalk/LsuW2sYU">Logtalk</a><a class="footnote-ref" id="fnref:34" href="#fn:34"><sup>34</sup></a></li> <li><a href="/facts/Lua_(programming_language)/xkBCgta0">Lua</a><a class="footnote-ref" id="fnref:35" href="#fn:35"><sup>35</sup></a></li> <li><a href="/facts/Wolfram_Mathematica/dRwoGFG2">Mathematica</a><a class="footnote-ref" id="fnref:36" href="#fn:36"><sup>36</sup></a></li> <li><a href="/facts/Objective-C/5mM557BW">Objective-C</a><a class="footnote-ref" id="fnref:37" href="#fn:37"><sup>37</sup></a></li> <li><a href="/facts/OCaml/ThBGLND8">OCaml</a><a class="footnote-ref" id="fnref:38" href="#fn:38"><sup>38</sup></a></li> <li><a href="/facts/Perl/fx31kjlT">Perl</a><a class="footnote-ref" id="fnref:39" href="#fn:39"><sup>39</sup></a></li> <li><a href="/facts/Prolog/r5h66Qh1">Prolog</a><a class="footnote-ref" id="fnref:40" href="#fn:40"><sup>40</sup></a><a class="footnote-ref" id="fnref:41" href="#fn:41"><sup>41</sup></a></li> <li><a href="/facts/PHP/vU6YRJX0">PHP</a><a class="footnote-ref" id="fnref:42" href="#fn:42"><sup>42</sup></a></li> <li><a href="/facts/Pony_(programming_language)/MDGpEKc3">Pony</a><a class="footnote-ref" id="fnref:43" href="#fn:43"><sup>43</sup></a></li> <li><a href="/facts/Python_(programming_language)/YbuGqofa">Python</a><a class="footnote-ref" id="fnref:44" href="#fn:44"><sup>44</sup></a></li> <li><a href="/facts/R_(programming_language)/LSrkr8K8">R</a><a class="footnote-ref" id="fnref:45" href="#fn:45"><sup>45</sup></a></li> <li><a href="/facts/Racket_(programming_language)/5n7LW08b">Racket</a><a class="footnote-ref" id="fnref:46" href="#fn:46"><sup>46</sup></a></li> <li><a href="/facts/Ruby_(programming_language)/BeYSaPSR">Ruby</a><a class="footnote-ref" id="fnref:47" href="#fn:47"><sup>47</sup></a></li> <li><a href="/facts/Rust_(programming_language)/8JNMV19F">Rust</a><a class="footnote-ref" id="fnref:48" href="#fn:48"><sup>48</sup></a><a class="footnote-ref" id="fnref:49" href="#fn:49"><sup>49</sup></a></li> <li><a href="/facts/Scala_(programming_language)/ebL8o6AK">Scala</a><a class="footnote-ref" id="fnref:50" href="#fn:50"><sup>50</sup></a><a class="footnote-ref" id="fnref:51" href="#fn:51"><sup>51</sup></a><a class="footnote-ref" id="fnref:52" href="#fn:52"><sup>52</sup></a></li> <li><a href="/facts/Scheme_(programming_language)/0aGdf3SC">Scheme</a><a class="footnote-ref" id="fnref:53" href="#fn:53"><sup>53</sup></a><a class="footnote-ref" id="fnref:54" href="#fn:54"><sup>54</sup></a></li> <li><a href="/facts/Smalltalk/Ru2UPVDE">Smalltalk</a><a class="footnote-ref" id="fnref:55" href="#fn:55"><sup>55</sup></a></li> <li><a href="/facts/Standard_ML/4LaEq9tA">Standard ML</a><a class="footnote-ref" id="fnref:56" href="#fn:56"><sup>56</sup></a></li> <li><a href="/facts/Swift_(programming_language)/A7qHQC32">Swift</a><a class="footnote-ref" id="fnref:57" href="#fn:57"><sup>57</sup></a></li> <li><a href="/facts/TypeScript/W9J27V1N">TypeScript</a><a class="footnote-ref" id="fnref:58" href="#fn:58"><sup>58</sup></a></li> <li><a href="/facts/Whiley_(programming_language)/qzFD6d6t">Whiley</a><a class="footnote-ref" id="fnref:59" href="#fn:59"><sup>59</sup></a></li></ul> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Metamorphic_testing/SE2fEUyt">Metamorphic testing</a></li> <li><a href="/facts/SPIN_model_checker/tFmaY1A2">SPIN model checker</a></li> <li><a href="/facts/Software_testing/VoXzG9Tb">Software testing#Property testing</a></li></ul> <h2 id="further-reading">Further reading</h2> <ul><li>Claessen, Koen; Hughes, John (2002). <a href="http://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps">"Testing Monadic Programs with QuickCheck"</a> (<a href="/facts/PostScript/h2XwbcmC">PostScript</a>). <i>SIGPLAN Notices</i>. 37 (12): 47–59. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.1618">10.1.1.111.1618</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F636517.636527">10.1145/636517.636527</a>. Retrieved January 29, 2006.</li> <li>Claessen, Koen & Hughes, John (2000). <a href="http://www.eecs.northwestern.edu/%7Erobby/courses/395-495-2009-fall/quick.pdf">"QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs"</a> (PDF). <i>Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN</i>. Retrieved January 29, 2006.</li> <li>Claessen, Koen & Hughes, John (2003). <a href="https://web.archive.org/web/20070704035801/http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html">"Specification Based Testing with QuickCheck"</a>. <i>The Fun of Programming, Cornerstones of Computing, Jeremy Gibbons and Oege de Moor (Eds.)</i>. Palgrave: 17–40. Archived from <a href="http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html">the original</a> on July 4, 2007. Retrieved January 29, 2006.</li> <li>Claessen, Koen (August 2004). <a href="https://web.archive.org/web/20070430065923/http://www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html">"QuickCheck: Specification-based Random Testing"</a>. <i>Presentation at Summer Institute on Trends in Testing: Theory, Techniques and Tools</i>. Archived from <a href="http://www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html">the original</a> (<a href="/facts/Microsoft_PowerPoint/putuX423">PPT</a>) on April 30, 2007. Retrieved January 29, 2006.</li> <li>Claessen, Koen; Runciman, Colin; Chitil, Olaf & Hughes, John (2002). <a href="https://web.archive.org/web/20061012125122/http://www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps">"Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat"</a>. <i>Advanced Functional Programming: 4th International School, Lecture Notes in Computer Science</i>. 2638. Springer Verlag: 59–99. Archived from <a href="http://www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps">the original</a> (<a href="/facts/PostScript/h2XwbcmC">PostScript</a>) on October 12, 2006. Retrieved January 29, 2006.</li></ul> <h2 id="external-links">External links</h2> Wikibooks has a book on the topic of: <i>Haskell/Testing</i> <ul><li><a href="https://hackage.haskell.org/package/QuickCheck">QuickCheck</a> on <a href="/facts/Hackage/4Htv9WLu">Hackage</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Data.Collections.Properties". hackage.haskell.org. <a href="http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html" target="_blank">http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Pennebaker, Andrew (mcandre) (October 13, 2011). "qc". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/qc" target="_blank">https://github.com/mcandre/qc</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Zito, Andrea (nivox) (July 27, 2014). "quickcheck4c". GitHub. Retrieved July 27, 2014. <a href="https://github.com/nivox/quickcheck4c" target="_blank">https://github.com/nivox/quickcheck4c</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Vokes, Scott (March 30, 2015). "Theft: property-based testing for C". GitHub. Retrieved November 16, 2015. <a href="https://github.com/silentbicycle/theft" target="_blank">https://github.com/silentbicycle/theft</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"QuickCheck". Software.legiasoft.com. Retrieved December 9, 2011. <a href="http://software.legiasoft.com/quickcheck/" target="_blank">http://software.legiasoft.com/quickcheck/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"CppQuickCheck". GitHub. Retrieved March 30, 2015. <a href="https://github.com/philipp-classen/CppQuickCheck" target="_blank">https://github.com/philipp-classen/CppQuickCheck</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>"RapidCheck". GitHub. Retrieved March 30, 2015. <a href="https://github.com/emil-e/rapidcheck" target="_blank">https://github.com/emil-e/rapidcheck</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Pennebaker, Andrew (mcandre). "cluckcheck". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/cluckcheck" target="_blank">https://github.com/mcandre/cluckcheck</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Draper, Reid (reiddraper) (May 9, 2013). "simple-check". GitHub. Retrieved August 21, 2013. <a href="https://github.com/reiddraper/simple-check" target="_blank">https://github.com/reiddraper/simple-check</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Draper, Reid (reiddraper) (March 27, 2014). "org.clojure/test.check". GitHub. Retrieved March 27, 2014. <a href="https://github.com/clojure/test.check" target="_blank">https://github.com/clojure/test.check</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>"cl-quickcheck". Cliki. Retrieved December 9, 2011. <a href="http://www.cliki.net/cl-quickcheck" target="_blank">http://www.cliki.net/cl-quickcheck</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>"QuickChick". GitHub. Retrieved August 26, 2019. <a href="https://github.com/QuickChick/QuickChick" target="_blank">https://github.com/QuickChick/QuickChick</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Pennebaker, Andrew (mcandre) (October 27, 2011). "dashcheck". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/dashcheck" target="_blank">https://github.com/mcandre/dashcheck</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>"elm-explorations/test". GitHub. Retrieved November 20, 2018. <a href="https://github.com/elm-explorations/test" target="_blank">https://github.com/elm-explorations/test</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Thomas, Dave (pragdave) (July 17, 2017). "quixir: Property-based testing for Elixir". GitHub. Retrieved April 1, 2019. <a href="https://github.com/pragdave/quixir" target="_blank">https://github.com/pragdave/quixir</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>Alfert, Klaus. "propcheck: Property based testing for Elixir". GitHub. Retrieved February 1, 2021. <a href="https://github.com/alfert/propcheck" target="_blank">https://github.com/alfert/propcheck</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>"PropEr: a QuickCheck-inspired property-based testing tool for Erlang". GitHub. Retrieved May 8, 2019. <a href="https://github.com/proper-testing/proper" target="_blank">https://github.com/proper-testing/proper</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>"FsCheck". GitHub. June 25, 2015. Retrieved June 25, 2011. <a href="https://fscheck.github.io/FsCheck" target="_blank">https://fscheck.github.io/FsCheck</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>Pennebaker, Andrew (mcandre) (October 13, 2011). "factcheck". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/factcheck" target="_blank">https://github.com/mcandre/factcheck</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>leanovate (April 26, 2016). "Gopter". GitHub. Retrieved April 26, 2016. <a href="https://github.com/leanovate/gopter" target="_blank">https://github.com/leanovate/gopter</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> <li id="fn:21"><p>Pennebaker, Andrew (mcandre) (October 17, 2011). "IoCheck". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/IoCheck" target="_blank">https://github.com/mcandre/IoCheck</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li> <li id="fn:22"><p>"FunctionalJava's QuickCheck module". FunctionalJava. Retrieved August 14, 2015. <a href="https://github.com/functionaljava/functionaljava/" target="_blank">https://github.com/functionaljava/functionaljava/</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li> <li id="fn:23"><p>"Quickcheck for Java". Quickcheck.dev.java.net. Retrieved December 9, 2011. <a href="https://bitbucket.org/blob79/quickcheck" target="_blank">https://bitbucket.org/blob79/quickcheck</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li> <li id="fn:24"><p>"JCheck". JCheck. Retrieved December 9, 2011. <a href="http://www.jcheck.org/" target="_blank">http://www.jcheck.org/</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></p></li> <li id="fn:25"><p>"junit-quickcheck". junit-quickcheck. Retrieved July 3, 2013. <a href="https://github.com/pholser/junit-quickcheck/" target="_blank">https://github.com/pholser/junit-quickcheck/</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></p></li> <li id="fn:26"><p>"jqwik for the JUnit5 Platform". jqwik. Retrieved June 19, 2017. <a href="http://jqwik.net/" target="_blank">http://jqwik.net/</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></p></li> <li id="fn:27"><p>"Quick Theories property testing for Java 8". ncredinburgh. Retrieved October 30, 2017. <a href="https://github.com/ncredinburgh/QuickTheories" target="_blank">https://github.com/ncredinburgh/QuickTheories</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></p></li> <li id="fn:28"><p>"jetCheck property-based testing for Java 8". JetBrains. Retrieved July 10, 2018. <a href="https://github.com/JetBrains/jetCheck" target="_blank">https://github.com/JetBrains/jetCheck</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></p></li> <li id="fn:29"><p>Thompson, Darrin (darrint). "qc.js". Bitbucket. Retrieved December 9, 2011. <a href="https://bitbucket.org/darrint/qc.js/" target="_blank">https://bitbucket.org/darrint/qc.js/</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></p></li> <li id="fn:30"><p>Crockford, Douglas. "jscheck". GitHub. Retrieved October 21, 2017. <a href="https://github.com/douglascrockford/JSCheck" target="_blank">https://github.com/douglascrockford/JSCheck</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></p></li> <li id="fn:31"><p>Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018. <a href="https://github.com/dubzzz/fast-check" target="_blank">https://github.com/dubzzz/fast-check</a> <a href="#fnref:31" class="footnote-back-ref">↩</a></p></li> <li id="fn:32"><p>"JSVerify — property based testing for JavaScript. Like QuickCheck". jsverify.github.io. <a href="https://jsverify.github.io" target="_blank">https://jsverify.github.io</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></p></li> <li id="fn:33"><p>"Checkers.jl". GitHub. Retrieved April 8, 2018. <a href="https://github.com/pkalikman/Checkers.jl" target="_blank">https://github.com/pkalikman/Checkers.jl</a> <a href="#fnref:33" class="footnote-back-ref">↩</a></p></li> <li id="fn:34"><p>"lgtunit". Retrieved February 26, 2020. <a href="https://logtalk.org/manuals/devtools/lgtunit.html" target="_blank">https://logtalk.org/manuals/devtools/lgtunit.html</a> <a href="#fnref:34" class="footnote-back-ref">↩</a></p></li> <li id="fn:35"><p>"lua-quickcheck". GitHub. Retrieved February 25, 2017. <a href="https://github.com/luc-tielen/lua-quickcheck" target="_blank">https://github.com/luc-tielen/lua-quickcheck</a> <a href="#fnref:35" class="footnote-back-ref">↩</a></p></li> <li id="fn:36"><p>"QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community". community.wolfram.com. Retrieved July 11, 2021. <a href="https://community.wolfram.com/groups/-/m/t/2309649" target="_blank">https://community.wolfram.com/groups/-/m/t/2309649</a> <a href="#fnref:36" class="footnote-back-ref">↩</a></p></li> <li id="fn:37"><p>Pennebaker, Andrew (mcandre). "objcheck". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/objcheck" target="_blank">https://github.com/mcandre/objcheck</a> <a href="#fnref:37" class="footnote-back-ref">↩</a></p></li> <li id="fn:38"><p>Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml". GitHub. Retrieved September 1, 2022. <a href="https://github.com/c-cube/qcheck" target="_blank">https://github.com/c-cube/qcheck</a> <a href="#fnref:38" class="footnote-back-ref">↩</a></p></li> <li id="fn:39"><p>"Test: LectroTest: Tutorial". The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes <a href="https://metacpan.org/module/Test::LectroTest::Tutorial" target="_blank">https://metacpan.org/module/Test::LectroTest::Tutorial</a> <a href="#fnref:39" class="footnote-back-ref">↩</a></p></li> <li id="fn:40"><p>"library(quickcheck)". <a href="http://www.swi-prolog.org/pack/list?p=quickcheck" target="_blank">http://www.swi-prolog.org/pack/list?p=quickcheck</a> <a href="#fnref:40" class="footnote-back-ref">↩</a></p></li> <li id="fn:41"><p>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. <a href="978-3-319-07150-3" target="_blank">978-3-319-07150-3</a> <a href="#fnref:41" class="footnote-back-ref">↩</a></p></li> <li id="fn:42"><p>Oestreicher, Stefan (steos). "PhpQuickCheck". GitHub. Retrieved November 12, 2015. <a href="https://github.com/steos/php-quickcheck" target="_blank">https://github.com/steos/php-quickcheck</a> <a href="#fnref:42" class="footnote-back-ref">↩</a></p></li> <li id="fn:43"><p>Wahl, Matthias (mfelsche). "ponycheck". GitHub. Retrieved December 26, 2018. <a href="https://github.com/mfelsche/ponycheck" target="_blank">https://github.com/mfelsche/ponycheck</a> <a href="#fnref:43" class="footnote-back-ref">↩</a></p></li> <li id="fn:44"><p>MacIver, David (April 16, 2016). "QuickCheck in Every Language". Retrieved August 1, 2022. <a href="https://hypothesis.works/articles/quickcheck-in-every-language/" target="_blank">https://hypothesis.works/articles/quickcheck-in-every-language/</a> <a href="#fnref:44" class="footnote-back-ref">↩</a></p></li> <li id="fn:45"><p>"quickcheck: Property Based Testing in R". GitHub. March 17, 2022. <a href="https://github.com/armcn/quickcheck" target="_blank">https://github.com/armcn/quickcheck</a> <a href="#fnref:45" class="footnote-back-ref">↩</a></p></li> <li id="fn:46"><p>"Quickcheck". docs.racket-lang.org. <a href="https://docs.racket-lang.org/quickcheck/index.html" target="_blank">https://docs.racket-lang.org/quickcheck/index.html</a> <a href="#fnref:46" class="footnote-back-ref">↩</a></p></li> <li id="fn:47"><p>Pennebaker, Andrew (mcandre) (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework". GitHub. <a href="https://github.com/mcandre/rubycheck" target="_blank">https://github.com/mcandre/rubycheck</a> <a href="#fnref:47" class="footnote-back-ref">↩</a></p></li> <li id="fn:48"><p>Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)". GitHub. Retrieved May 27, 2015. <a href="https://github.com/BurntSushi/quickcheck" target="_blank">https://github.com/BurntSushi/quickcheck</a> <a href="#fnref:48" class="footnote-back-ref">↩</a></p></li> <li id="fn:49"><p>"Hypothesis-like property testing for Rust". GitHub. <a href="https://github.com/altsysrq/proptest" target="_blank">https://github.com/altsysrq/proptest</a> <a href="#fnref:49" class="footnote-back-ref">↩</a></p></li> <li id="fn:50"><p>"ScalaCheck". GitHub. Retrieved June 30, 2016. <a href="https://github.com/rickynils/scalacheck" target="_blank">https://github.com/rickynils/scalacheck</a> <a href="#fnref:50" class="footnote-back-ref">↩</a></p></li> <li id="fn:51"><p>"scalaprops/scalaprops". GitHub. Retrieved June 30, 2016. <a href="https://github.com/scalaprops/scalaprops" target="_blank">https://github.com/scalaprops/scalaprops</a> <a href="#fnref:51" class="footnote-back-ref">↩</a></p></li> <li id="fn:52"><p>"nyaya". GitHub. Retrieved June 30, 2016. <a href="https://github.com/japgolly/nyaya" target="_blank">https://github.com/japgolly/nyaya</a> <a href="#fnref:52" class="footnote-back-ref">↩</a></p></li> <li id="fn:53"><p>"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. <a href="https://web.archive.org/web/20050212183945/http://www.inf.ufrgs.br/~carlossch/scheme-check/" target="_blank">https://web.archive.org/web/20050212183945/http://www.inf.ufrgs.br/~carlossch/scheme-check/</a> <a href="#fnref:53" class="footnote-back-ref">↩</a></p></li> <li id="fn:54"><p>Mejr, Antero. "SRFI 252: Property Testing". Scheme Requests for Implementation. Retrieved April 25, 2024. <a href="https://srfi.schemers.org/srfi-252/" target="_blank">https://srfi.schemers.org/srfi-252/</a> <a href="#fnref:54" class="footnote-back-ref">↩</a></p></li> <li id="fn:55"><p>Pennebaker, Andrew (mcandre). "QuickSmash". GitHub. Retrieved December 9, 2011. <a href="https://github.com/mcandre/quicksmash" target="_blank">https://github.com/mcandre/quicksmash</a> <a href="#fnref:55" class="footnote-back-ref">↩</a></p></li> <li id="fn:56"><p>"QCheck/SML". Contrapunctus. November 22, 2011. Retrieved December 9, 2011. <a href="http://contrapunctus.net/league/haques/qcheck/" target="_blank">http://contrapunctus.net/league/haques/qcheck/</a> <a href="#fnref:56" class="footnote-back-ref">↩</a></p></li> <li id="fn:57"><p>"SwiftCheck: QuickCheck for Swift". GitHub. November 3, 2017. <a href="https://github.com/typelift/SwiftCheck" target="_blank">https://github.com/typelift/SwiftCheck</a> <a href="#fnref:57" class="footnote-back-ref">↩</a></p></li> <li id="fn:58"><p>Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018. <a href="https://github.com/dubzzz/fast-check" target="_blank">https://github.com/dubzzz/fast-check</a> <a href="#fnref:58" class="footnote-back-ref">↩</a></p></li> <li id="fn:59"><p>Chin, Janice. "QuickCheck for Whiley" (PDF). Retrieved April 20, 2020. <a href="http://ecs.victoria.ac.nz/~djp/files/JaniceChinENGR489.pdf" target="_blank">http://ecs.victoria.ac.nz/~djp/files/JaniceChinENGR489.pdf</a> <a href="#fnref:59" class="footnote-back-ref">↩</a></p></li> </ol>