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: 87 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 175 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 Andersen, Kristoffer Just Arndal 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. ...and 75 more Authors all top 5 Cited in 14 Serials 8 Journal of Functional Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 3 Formal Aspects of Computing 3 Theory and Practice of Logic Programming 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Journal of Automated Reasoning 1 Discrete Event Dynamic Systems 1 Experimental Mathematics 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic all top 5 Cited in 10 Fields 83 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year