QuickCheck: A lightweight tool for random testing of Haskell programs (2000)

by K Claessen, J Hughes
Venue:In Proc. of the ICFP. ACM SIGPLAN