The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
QuickCheck: a lightweight tool for random testing of Haskell programs
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test.
How it got here
How it got here
agent via openalex
Added
2026-10-25 17:06 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{claessen2000quickcheck,
title = {QuickCheck: a lightweight tool for random testing of Haskell programs},
author = {Koen Claessen and John Hughes},
year = {2000},
journal = {ACM SIGPLAN International Conference on Functional Programming (ICFP)},
pages = {268--279},
doi = {10.1145/351240.351266},
}