Smallcheck and Lazy Smallcheck: automatic exhaustive testing for small values (2008)

by C Runciman, M Naylor, F Lindblad
Venue:In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on