QuickCheck
The latest version is under version control
$ darcs get http://code.haskell.org/QuickCheck
There are many variants of QuickCheck
- Original QuickCheck - shipped with GHC
- QuickCheck2 - from code.haskell.org, includes shrink and other extensions
- SmallCheck - systematic testing upto a specific depth
- Lazy SmallCheck - SmallCheck with _|_ in data-structures