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:23 - 0 self

Document Versions

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values –Colin Runciman, Matthew Naylor, Fredrik Lindblad — 2008 — In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on Haskell