Smallcheck and lazy smallcheck: automatic exhaustive testing for small values (2008)

by Colin Runciman , Matthew Naylor , Fredrik Lindblad
Venue:In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on Haskell
Citations:23 - 0 self

Documents Related by Co-Citation

309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
42 Random testing in isabelle/hol – Stefan Berghofer, Tobias Nipkow, Technische Universität München - 2004
10 Property directed generation of first-order test data. The Eigth Symposium on Trends – Fredrik Lindblad - 2007
25 Functional Logic Programming – Sergio Antoy, Michael Hanus
19 Systematic generation of glass-box test cases for functional logic programs – Sebastian Fischer, Herbert Kuchen - 2007
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
13 EasyCheck — Test Data for Free – Jan Christiansen, Sebastian Fischer - 2008
95 An approach to declarative programming based on a rewriting logic – J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M RodríguezArtalejo - 1999
39 Functional Logic Design Patterns – Sergio Antoy, Michael Hanus - 2002
6 Functional programming and theorem proving for undergraduates: a progress report – Carl Eastlund, Matthias Felleisen - 2008
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
22 Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract) – Jasmin Christian Blanchette, Tobias Nipkow - 2009
289 Software Abstractions: Logic, Language, and Analysis – Daniel Jackson - 2006
37 Multi-paradigm Declarative Languages – Michael Hanus - 2007
41 Gast: Generic Automated Software Testing – Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer - 2002
125 TOY: A multiparadigm declarative system – F López-Fraguas, J Sánchez-Hernández - 1992
15 A functional logic database library – S Fischer - 2005
14 High-Level Database Programming in Curry – Bernd Braßel, Michael Hanus, Marion Müller
30 Type-Oriented Construction of Web User Interfaces – Michael Hanus - 2006