SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
Journal article, 2008
Testing and Debugging
Applicative (Functional) Programming
Author
Fredrik Lindblad
Chalmers, Computer Science and Engineering (Chalmers)
Matthew Naylor
Colin Runciman
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
07308566 (ISSN)
Vol. 44 2 37-48Subject Categories
Computer Science