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
Citations:24 - 0 self