The port of famous QuickCheck combinator library written in Haskell, designed to assist in software testing by generating test cases for test suites