SmallCheck and lazy SmallCheck: Automatic exhaustive testing for small values

Haskell'08 - Proceedings of the ACM SIGPLAN 2008 Haskell Symposium

Volumn , Issue , 2008, Pages 37-48

  Runciman, Colin ^a   Naylor, Matthew ^a   Lindblad, Fredrik ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Embedded language; Exhaustive search; Lazy evaluation; Property based testing; Type classes

Indexed keywords

LINGUISTICS; REPORT GENERATORS;

EMBEDDED LANGUAGE; EXHAUSTIVE SEARCH; LAZY EVALUATION; PROPERTY-BASED TESTING; TYPE CLASSES;

LIBRARIES;

EID: 63149093563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411286.1411292     Document Type: Conference Paper

References (22)

1. Sergio Antoy, Rachid Echahed, and Michael Hanus. A needed narrowing strategy. In POPL'94, pages 268-279, 1994.
2. Lennart Augustsson. Overloaded Booleans. http://augustas.blogspot.com/, 2007.
3. Richard S. Bird. Introduction to Functional Programming Using Haskell. Prentice-Hall, 1998.
4. Jan Christiansen and Sebastian Fischer. Easycheck - test data for free. In FLOPS'08, pages 322-336. LNCS 4989, 2008.
5. K. Claessen, C. Runciman, O. Chitil, R. J. M. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. In AFP'02 , pages 59-99. Springer LNCS 2638, 2002.
6. Koen Claessen and John Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In ICFP '00, pages 268-279. ACM SIGPLAN, 2000.
7. Andy Gill and Colin Runciman. Haskell program coverage. In Haskell'07, pages 1-12. ACM, 2007.
8. Michael Hanus. Curry: An Integrated Functional Logic Language. Language report (March 2006), available online at http://www.informatik.uni-kiel.de/ ~curry,/report.html.
9. Graham Hutton. The countdown problem. Journal of Functional Programming, 12(6):609-616, November 2002.
10. Daniel Jackson. Software abstractions: logic, language and analysis. The MIT Press, 2006.
11. Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, and Marinus J. Plasmeijer. Gast: Generic automated software testing. In IFL'02, pages 84-100. LNCS 2670, 2002.
12. Fredrik Lindblad. Property directed generation of first-order test data. In TFP'07, volume 8, pages 105-123. Intellect, 2008.
13. John W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3), 1999.
14. Wolfgang Lux. The Münster Curry Compiler. http://danae.uni-muenster. de/~lux/curry/, 2003.
15. Neil Mitchell and Stefan O'Rear. Derive - project home page, http://www.cs.york.ac.uk/~ndm/derive/, March 2007.
16. Neil Mitchell and Colin Runciman. A static checker for safe pattern matching in Haskell. In TFP'05, volume 6, pages 15-30. Intellect, 2007.
17. Matthew Naylor and Colin Runciman. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA. In IFL'07, page to appear. LNCS, 2008.
18. Matthew Naylor and Colin Runciman. Finding inputs that reach a target expression. In SCAM'07, pages 133-142. IEEE Computer Society, 2007.
19. Chris Okasaki. Red-black trees in a functional setting. Journal of Functional Programming, 9(4):471-477, 1999.
20. Simon Peyton Jones. The Implementation of Functional Programming Languages. Computer Science. Prentice-Hall, 1987.
21. Simon Peyton Jones, Alastair Reid, Fergus Henderson, Tony Hoare, and Simon Marlow. A semantics for imprecise exceptions. In PLDI'99, pages 25-36. ACM, 1999.
22. D. A. Turner. A new implementation technique for applicative languages. Software - Practice and Experience, 9(1):31-49, 1979.