Authors
Colin Runciman, Matthew Naylor, Fredrik Lindblad
Publication date
2008
Conference
ACM SIGPLAN 2008 Haskell Symposium
Pages
37-48
Publisher
ACM Press
Description
Abstract This paper describes two Haskell libraries for property-based testing. Following the
lead of QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-
based generators to obtain test-sets of finite values for which properties are checked, and
report any counter-examples found. But instead of using a sample of randomly generated
values they test properties for all values up to some limiting depth, progressively increasing
this limit. The paper explains the design and implementation of both libraries and ...
Total citations
2008200920102011201220132014
Scholar articles