SmallCheck swMATH ID: 9736 Software Authors: Runciman, C., Naylor, M., Lindblad, F. Description: SmallCheck and Lazy SmallCheck: Automatic exhaustive testing for small values. 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 evaluates them in comparison with each other and with QuickCheck. Homepage: http://dl.acm.org/citation.cfm?id=1411292 Related Software: QuickCheck; Haskell; Nitpick; EasyCheck; PVS; Coq; Sledgehammer; Isabelle/HOL; ML; Isabelle; Kodkod; QuickChick; z3; Isar; FocalTest; VAMPIRE; E Theorem Prover; HOL; Mizar; Metis_ Cited in: 17 Documents all top 5 Cited by 36 Authors 3 Bulwahn, Lukas 2 Achten, Peter 2 Blanchette, Jasmin Christian 2 Dubois, Catherine 2 Giorgetti, Alain 2 Koopman, Pieter 2 Nipkow, Tobias 1 Blondin Massé, Alexandre 1 Brlek, Srečko 1 Cheney, James 1 Christiansen, Jan 1 Claessen, Koen 1 Cruanes, Simon 1 Drossopoulou, Sophia Chloe 1 Duregård, Jonas 1 Dylus, Sandra 1 Eisenbach, Susan 1 Genestier, Richard 1 Hanus, Michael 1 Inaba, Kazuhiro 1 Ishii, Hiromi 1 Labelle, Gilbert 1 Matsuda, Kazutaka 1 Momigliano, Alberto 1 Morazán, Marco T. 1 Nakano, Keisuke 1 Pałka, Michał H. 1 Paulson, Lawrence Charles 1 Plasmeijer, Rinus 1 Reynolds, Andrew 1 Sonnex, William 1 Teegen, Finn 1 Tinelli, Cesare 1 Tremblay, Hugo 1 van Eekelen, Marko 1 Wenzel, Makarius Cited in 5 Serials 2 Formal Aspects of Computing 2 Higher-Order and Symbolic Computation 2 Theory and Practice of Logic Programming 1 Theoretical Computer Science 1 Journal of Functional Programming Cited in 3 Fields 16 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) Citations by Year