Quickcheck: a lightweight tool for random testing of haskell programs. Acm sigplan notices

QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs Properties are described as Haskell functions and can be automati cally tested on random input but it is also possible to de ne custom test data generators We present a number of case studies in which the tool was successfully used and also point out some pitfalls to avoid Random testing is es pecially suitable for functional programs because properties can be stated at a ne grain When a function is built from separately tested components then random testing suces to obtain good coverage of the denition under test 1