Koen Claessen, John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFP. pages 268-279, 2000. [doi]
@inproceedings{ClaessenH00,
title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
author = {Koen Claessen and John Hughes},
year = {2000},
doi = {10.1145/351240.351266},
url = {http://doi.acm.org/10.1145/351240.351266},
tags = {test coverage, case study, functional programming, testing, Haskell, data-flow programming, data-flow, random testing, programming, coverage, QuickCheck},
researchr = {https://researchr.org/publication/ClaessenH00},
cites = {19},
citedby = {0},
pages = {268-279},
booktitle = {ICFP},
}