Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

Colin Runciman, Matthew Naylor, Fredrik Lindblad. Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. In Andy Gill, editor, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. pages 37-48, ACM, 2008. [doi]

Abstract

Abstract is missing.