QuickCheck

QuickCheck is a library for random testing of program properties.

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

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

Blog articles

• The Design and Use of QuickCheck

Further reading

See the list at Introduction to QuickCheck