Smallcheck and lazy smallcheck: automatic exhaustive testing for small values - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Colin Runciman' in GoogleThis author has not been identified. Look up 'Matthew Naylor' in GoogleThis author has not been identified. Look up 'Fredrik Lindblad' in Google

runs on WebDSL