DMCA

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

by Koen Claessen , John Hughes
Venue:In ICFP,
Citations:428 - 22 self