×

QuickCheck

swMATH ID: 7277
Software Authors: Koen Claessen; John Hughes
Description: QuickCheck: a lightweight tool for random testing of Haskell programs. QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are discribed 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 suffuces to obtain good coverage of the definition under test.
Homepage: http://dl.acm.org/citation.cfm?id=1988046
Related Software: Haskell; Coq; SmallCheck; Isabelle/HOL; z3; Isabelle; Nitpick; PVS; ACL2; Erlang; SMT-LIB; ML; EasyCheck; QuickSpec; Hipster; Java PathFinder; Maude; VAMPIRE; GitHub; Theorema
Cited in: 86 Publications

Standard Articles

1 Publication describing the Software Year
QuickCheck: a lightweight tool for random testing of Haskell programs
Claessen, Koen; Hughes, John
2000
all top 5

Cited by 173 Authors

6 Claessen, Koen
4 Albert, Elvira
4 Bulwahn, Lukas
4 Johansson, Moa
4 Martin-Martin, Enrique
4 Smallbone, Nicholas
3 Bendkowski, Maciej
3 Cruanes, Simon
3 Dubois, Catherine
3 Jeuring, Johan
3 Koopman, Pieter
3 Lämmel, Ralf
3 Riesco, Adrián
3 Rubio García, Julio Jesús
2 Achten, Peter
2 Aiguier, Marc
2 Alyahya, Khulood
2 Bezirgiannis, Nikolaos
2 Blanchette, Jasmin Christian
2 Brucker, Achim D.
2 Brummayer, Robert
2 Caballero, Rafael E.
2 Chitil, Olaf
2 de Boer, Frank S.
2 Domínguez, César
2 Ghica, Dan R.
2 Giorgetti, Alain
2 Havelund, Klaus
2 Heeren, Bastiaan
2 Heras, Jónathan
2 Hriţcu, Cătălin
2 Hutton, Graham
2 Lampropoulos, Leonidas
2 Le Gall, Pascale
2 Lescanne, Pierre
2 Magalhães, José Pedro
2 Nipkow, Tobias
2 Pałka, Michał H.
2 Paulson, Lawrence Charles
2 Peyton Jones, Simon L.
2 Pierce, Benjamin C.
2 Plasmeijer, Rinus
2 Poza, María
2 Rodriguez Yakushev, Alexey
2 Rosen, Dan
2 Runciman, Colin
2 Svensson, Hans
2 Tamarit, Salvador
2 Wolff, Burkhart
1 Algehed, Maximilian
1 Alpuente, María
1 Altenkirch, Thorsten
1 Arnould, Agnès
1 Artho, Cyrille
1 Arts, Thomas
1 Austin, Evan
1 Ballis, Demis
1 Barringer, Howard
1 Batson, Scott C.
1 Biere, Armin
1 Blondin Massé, Alexandre
1 Bodini, Olivier
1 Boin, Clément
1 Brandt, Jorgen
1 Brlek, Srečko
1 Cachera, David
1 Carlier, Matthieu
1 Casso, Ignacio
1 Chamarthi, Harsh Raju
1 Correa, Francisco José
1 Curry, Peter
1 Danielsson, Nils Anders
1 David, Rene
1 Degrave, François
1 Dénès, Maxime
1 Dillinger, Peter C.
1 Dovgal, Sergey
1 Drape, Stephen
1 Drossopoulou, Sophia Chloe
1 Duregård, Jonas
1 Džamonja, Mirna
1 Eisenbach, Susan
1 Erens, Toby R.
1 Falaschi, Moreno
1 Fleuriot, Jacques D.
1 Frantzen, Lars
1 Gallois-Wong, Diane
1 Genaim, Samir
1 Genestier, Richard
1 Gibbons, Hugh
1 Gibbons, Jeremy
1 Gómez-Zamalloa, Miguel
1 Groce, Alex
1 Grygiel, Katarzyna
1 Gutiérrez, Raúl
1 Haiyan, Qiao
1 Hermenegildo, Manuel V.
1 Holdermans, Stefan
1 Holzmann, Gerard J.
1 Hozzová, Petra
...and 73 more Authors

Citations by Year