Smallcheck and lazy smallcheck

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 obt...

[1]  Peter Seibel,et al.  Simon Peyton Jones , 2009 .

[2]  Matthew Naylor,et al.  Finding Inputs that Reach a Target Expression , 2007 .

[3]  M. Hanus,et al.  Curry: An Integrated Functional Logic Language , 2003 .

[4]  Koen Claessen,et al.  Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat , 2002, Advanced Functional Programming.

[5]  D. A. Turner,et al.  A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[6]  Sebastian Fischer,et al.  EasyCheck - Test Data for Free , 2008, FLOPS.

[7]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[8]  Graham Hutton,et al.  The countdown problem , 2002, Journal of Functional Programming.

[9]  Colin Runciman,et al.  The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA , 2008, IFL.

[10]  Marinus J. Plasmeijer,et al.  Gast: Generic Automated Software Testing , 2002, IFL.

[11]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[12]  Simon L. Peyton Jones,et al.  A semantics for imprecise exceptions , 1999, PLDI '99.

[13]  Richard S. Bird,et al.  Introduction to functional programming using haskeu , 1998 .

[14]  Colin Runciman,et al.  Haskell program coverage , 2007, Haskell '07.

[15]  Chris Okasaki,et al.  Red-black trees in a functional setting , 1999, Journal of Functional Programming.

[16]  Colin Runciman,et al.  A static checker for safe pattern matching in Haskell , 2005, Trends in Functional Programming.