What AI says about QuickCheck

QuickCheck is a Haskell library for automatic testing of program properties using random testing. Programmers specify properties in Haskell with QuickCheck combinators, and QuickCheck generates a large number of random inputs to check that those properties hold. The library offers modules for defining properties, generating test data, and running property tests, and it includes related packages such as quickcheck-instances and a monadic testing API.