QuickCheck: a lightweight tool for random testing of Haskell programs.

Koen Claessen, John Hughes

Browse the full ICFP paper archive.