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]
@inproceedings{RuncimanNL08,
title = {Smallcheck and lazy smallcheck: automatic exhaustive testing for small values},
author = {Colin Runciman and Matthew Naylor and Fredrik Lindblad},
year = {2008},
doi = {10.1145/1411286.1411292},
url = {http://doi.acm.org/10.1145/1411286.1411292},
tags = {laziness, testing, Haskell},
researchr = {https://researchr.org/publication/RuncimanNL08},
cites = {0},
citedby = {0},
pages = {37-48},
booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
editor = {Andy Gill},
publisher = {ACM},
isbn = {978-1-60558-064-7},
}