QuickCheck

QuickCheck is a tool for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases.

Learn more

First released 1999
Developed by Koen Claessen, John Hughes
Latest stable version QuickCheck 2
Open-source Yes
2

Development by Synergize.digital

Sign up for updates
straight to your inbox