Testing monadic code with QuickCheck

Proceedings of the 2002 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2002, Pages 65-77

  Claessen, Koen ^a   Hughes, John ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; PROGRAM INTERPRETERS; SPECIFICATIONS;

TESTING TOOLS;

COMPUTER SOFTWARE;

EID: 0036983408     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581690.581696     Document Type: Conference Paper

References (25)

1. S. Antoy and R. Hamlet. Automatically checking an implementation against its formal specification. In Irvine Software Symposium, pages 29-48, March 1992.
2. Gilles Bernot, Marie Claude Gaudel, and Bruno Marre. Software Testing based on Formal Specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, Nov 1991.
3. F. Warren Burton. An efficient functional implementation of FIFO queues. Information Processing Letters, 14(5):205-206, July 1982.
4. Koen Claessen and John Hughes. Quickcheck: a lightweight tool for random testing of haskell programs. In International Conference on Functional Programming, pages 268-279. ACM, 2000.
5. M. Donat. Automating Formal Specification Based Testing. In M. Bidoit and M. Dauchet, editors, Proc. Conf. on Theory and Practice of Sw Development (TAPSOFT 97), volume 1214, pages 833-847, Lille, France, 1997. Springer-Verlag, Berlin.
6. J. Duran and S. Ntafos. An evaluation of random testing. Transactions on Software Engineering, 10(4):438-444, July 1984.
7. Stephen H. Edwards. A framework for practical, automated black-box testing of component-base software. Software Testing, Verification and Reliability, 11(2), June 2001.
8. J. Gannon, R. Hamlet, and P. McMullin. Data abstraction implementation, specification, and testing. Trans. Prog. Lang. and Systems, (3):211-223, 1981.
9. D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, 1994.
10. R. Hamlet and R. Taylor. Partition testing does not inspire confidence. Transactions on Software Engineering, 16(12): 1402-1411, December 1990.
11. I. J. Hayes, editor. Specification Case Studies. Prentice Hall International Series in Computer Science, 2nd edition, 1993.
12. Dean Herington. HUnit 1.0 User's Guide, 2002. http://hunit.sourceforge.net/HUnit-1.0/Guide.html.
13. P. Hudak. Modular Domain Specific Languages and Tools. In Proceedings of Fifth International Conference on Software Reuse. IEEE Computer Society, Jun 1999.
14. Simon Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In Tony Hoare, Manfred Broy, and Ralf Steinbruggen, editors, Engineering theories of software construction, pages 47-96. IOS Press, 2001. Presented at the 2000 Marktoberdorf Summer School.
15. J. Launchbury and S. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4):293-341, December 1995.
16. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333-343, San Francisco, California, 1995.
17. Tom Moertel. Seven Lessons from the ICFP Programming Contest. http://www.kuro5hin.org/story/2001/7/31/0102/11014, 2001.
18. Graeme E. Moss and Colin Runciman. Automated bench-marking of functional data structures. In Practical Aspects of Declarative Languages, pages 1-15, 1999.
19. C. Mueller and B. Korel. Automated evaluation of cots components. In First International Workshop on Automated Program Analysis, Testing and Verification, Limerick, Ireland, 2000. In conjunction with ICSE 2000.
20. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida, pages 54-67, New York, NY, 1996.
21. Chris Okasaki. An Overview of Edison. In Haskell Workshop, pages 34-54, September 2000.
22. S. L. Peyton Jones and P. Wadler. Imperative Functional programming. In Proceedings 1993 Symposium Principles of Programming Languages, Charleston, N.Carolina, 1993.
23. Andrew M. Pitts. Evaluation logic. In G. Birtwistle, editor, Proceedings of the IVth Higher Order Workshop, pages 162-189. Springer-Verlag, 1990.
24. Phil Stocks and David Carrington. A Framework for Specification Based Testing. Transactions on Software Engineering, 22(11), Nov 1996.
25. Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. Multiple-View Tracing for Haskell: a New Hat. In Haskell Workshop. ACM, September 2001.