QuickCheck

• Introduction to QuickCheck
  • Ru/Introduction to QuickCheck
• QuickCheck as a test set generator
• QuickCheck / GADT

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

Recent content is available under a simple permissive license.