QuickCheck
Revision as of 18:28, 16 January 2017 by Henk-Jan van Tuyl (talk | contribs) (Added section "Blog articles" with a link to "The Design and Use of QuickCheck]", category "Testing" and section "Further reading"; changed command for fetching the QuickCheck source)
QuickCheck is a library for random testing of program properties.
The latest version is under version control
$ git clone https://github.com/nick8325/quickcheck
There are many variants of QuickCheck
- Original QuickCheck
- QuickCheck2 - includes shrink and other extensions
- SmallCheck - systematic testing upto a specific depth
- Lazy SmallCheck - SmallCheck with _|_ in data-structures