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

by K Claessen, Hughes J QuickCheck
Venue:ACM SIGPLAN Notices