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

by K Claessen, R J M Hughes
Venue:In Proc. 5th Intl. ACM Conference on Functional Programming