QuickCheck (English Wikipedia)

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. 8475: 1–17. doi:10.1007/978-3-319-07151-0_1. ISBN 978-3-319-07150-3.

fscheck.github.io

"FsCheck". GitHub. June 25, 2015. Retrieved June 25, 2011.

github.com

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.
"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.
"QuickChick". GitHub. Retrieved August 26, 2019.
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.
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.
"junit-quickcheck". junit-quickcheck. Retrieved July 3, 2013.
"Quick Theories property testing for Java 8". ncredinburgh. Retrieved October 30, 2017.
"jetCheck property-based testing for Java 8". JetBrains. Retrieved July 10, 2018.
Crockford, Douglas. "jscheck". GitHub. Retrieved October 21, 2017.
Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.
"Checkers.jl". GitHub. Retrieved April 8, 2018.
"lua-quickcheck". GitHub. Retrieved February 25, 2017.
Pennebaker, Andrew (mcandre). "objcheck". GitHub. Retrieved December 9, 2011.
Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml". GitHub. Retrieved September 1, 2022.
Oestreicher, Stefan (steos). "PhpQuickCheck". GitHub. Retrieved November 12, 2015.
Wahl, Matthias (mfelsche). "ponycheck". GitHub. Retrieved December 26, 2018.
"quickcheck: Property Based Testing in R". GitHub. March 17, 2022.
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.
Pennebaker, Andrew (mcandre). "QuickSmash". GitHub. Retrieved December 9, 2011.
"SwiftCheck: QuickCheck for Swift". GitHub. November 3, 2017.
Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.

haskell.org

hackage.haskell.org

"Data.Collections.Properties". hackage.haskell.org.

hypothesis.works

MacIver, David (April 16, 2016). "QuickCheck in Every Language". Retrieved August 1, 2022.

inesctec.pt

repositorio.inesctec.pt

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. 8475: 1–17. doi:10.1007/978-3-319-07151-0_1. ISBN 978-3-319-07150-3.

jcheck.org

"JCheck". JCheck. Retrieved December 9, 2011.

jqwik.net

"jqwik for the JUnit5 Platform". jqwik. Retrieved June 19, 2017.

jsverify.github.io

"JSVerify — property based testing for JavaScript. Like QuickCheck". jsverify.github.io.

legiasoft.com

software.legiasoft.com

"QuickCheck". Software.legiasoft.com. Retrieved December 9, 2011.

logtalk.org

"lgtunit". Retrieved February 26, 2020.

metacpan.org

"Test: LectroTest: Tutorial". The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes

racket-lang.org

docs.racket-lang.org

"Quickcheck". docs.racket-lang.org.

schemers.org

srfi.schemers.org

Mejr, Antero. "SRFI 252: Property Testing". Scheme Requests for Implementation. Retrieved April 25, 2024.

swi-prolog.org

"library(quickcheck)".

ufrgs.br

inf.ufrgs.br

"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.

victoria.ac.nz

ecs.victoria.ac.nz

Chin, Janice. "QuickCheck for Whiley" (PDF). Retrieved April 20, 2020.

web.archive.org

"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.

wolfram.com

community.wolfram.com

"QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community". community.wolfram.com. Retrieved July 11, 2021.