C cs.tufts.edu QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs (2000) [pdf] 123 points tosh 10 years ago 38 comments