QuickCheck testing for fun and profit

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4354 LNCS, Issue , 2007, Pages 1-32

  Hughes, John ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL SIMPLICITY; EQUATIONAL REASONING; GOOD DESIGNS; PURELY FUNCTIONAL; QUICKCHECK;

ARTIFICIAL INTELLIGENCE;

COMPUTER SCIENCE;

EID: 84887323215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69611-7-1     Document Type: Conference Paper

References (18)

1. Thomas Arts, Koen Claessen, John Hughes, and Hans Svensson. Testing implementations of formally verified algorithms. In Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden, 2005.
2. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In EuroSys 2006, 2006.
3. Kent Beck. Extreme Programming Explained: Embrace Change, Second Edition. Addison Wesley Professional, second edition, November 2004.
4. Koen Claessen and John Hughes. Quickcheck: a lightweight tool for random testing of haskell programs. In ICFP'00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 268-279, New York, NY, USA, 2000. ACM Press.
5. Koen Claessen and John Hughes. Testing monadic code with quickcheck. In Haskell'02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, pages 65-77, New York, NY, USA, 2002. ACM Press.
6. Koen Claessen and John Hughes. Specification-based testing with QuickCheck. In Jeremy Gibbons and Oege de Moor, editors, Fun of Programming, Cornerstones of Computing. Palgrave, March 2003.
7. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, and Malcolm Wallace. Testing and tracing lazy functional programs using quickcheck and hat. In Johan Jeuring and Simon Peyton Jones, editors, 4th Summer School in Advanced Functional Programming, Volume 2638 of LNCS. Springer, 2003.
8. Mark Fewster and Dorothy Graham. Software test automation: effective use of test execution tools. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 1999.
9. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'2002), Volume 37, pages 234-245, June 2002.
10. Dick Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, 1994.
11. Ralf Hildebrandt and Andreas Zeller. Simplifying failure-inducing input. In ISSTA'00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, pages 135-145, New York, NY, USA, 2000. ACM Press.
12. Xavier Leroy. Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In POPL, pages 42-54, 2006.
13. John Marciniak and Robert Vienneau. Software engineering baselines. Technical report, Data and Analysis Center for Software, 1996. http://www.dacs.dtic.mil/techs/baselines/.
14. Barton P. Miller, Louis Fredriksen, and Bryan So. An empirical study of the reliability of unix utilities. Commun. ACM, 33(12): 32-44, 1990.
15. Chris Okasaki. Fun with binary heap trees. In Jeremy Gibbons and Oege de Moor, editors, Fun of Programming, Cornerstones of Computing, pages 1-16. Palgrave, March 2003.
16. Telecommunication Standardization sector of ITU. ITU-T Rec. H248.1, gateway control protocol. Technical report, International Telecommunication Union, September 2005.
17. S. Stoller. Leader election in distributed systems with crash failures. Technical Report 169, Indiana University, 1997.
18. Ulf Wiger, Gösta Ask, and Kent Boortz. World-class product certification using erlang. SIGPLAN Not., 37(12): 25-34, 2002.