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)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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