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

by Colin Runciman, Matthew Naylor, Fredrik Lindblad
Venue:In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on Haskell