PLS Lab

QuickCheck

QuickCheck is a testing tool for the Haskell programming language.

References

Koen Claessen and John Hughes. 2000. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00). Association for Computing Machinery, New York, NY, USA, 268–279. https://doi.org/10.1145/351240.351266 pdf 
@inproceedings{10.1145/351240.351266,
	author = {Claessen, Koen and Hughes, John},
	title = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},
	year = {2000},
	isbn = {1581132026},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	url = {https://doi.org/10.1145/351240.351266},
	doi = {10.1145/351240.351266},
	booktitle = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming},
	pages = {268–279},
	numpages = {12},
	series = {ICFP '00}
}