haskell-QuickCheck: haskell-QuickCheck (Automatic testing of Haskell programs) haskell-QuickCheck: haskell-QuickCheck: QuickCheck is a library for random testing of program properties. haskell-QuickCheck: The programmer provides a specification of the program, in the form haskell-QuickCheck: of properties which functions should satisfy, and QuickCheck then haskell-QuickCheck: tests that the properties hold in a large number of randomly haskell-QuickCheck: generated cases. haskell-QuickCheck: haskell-QuickCheck: http://hackage.haskell.org/package/QuickCheck haskell-QuickCheck: haskell-QuickCheck: