Specification based testing with QuickCheck: tutorial talk
John Hughes · Formal Methods in Computer-Aided Design · 2011
QuickCheck is a tool which tests software against a formal specification, reporting discrepancies as minimal failing examples. QuickCheck uses properties specified by the developer both to generate test cases, and to identify failing tests.