Systematic generation of glass-box test cases for functional logic programs

PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2007, Pages 63-74

  Fischer, Sebastian ^a   Kuchen, Herbert ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

Code coverage; Declarative programming; Testing

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; FUNCTION EVALUATION; INFORMATION MANAGEMENT; SUPERVISORY AND EXECUTIVE PROGRAMS;

CODE COVERAGE; CURRY PROGRAMS; DECLARATIVE PROGRAMMING;

LOGIC PROGRAMMING;

EID: 34548091073     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273920.1273930     Document Type: Conference Paper

References (21)

1. E. Albert, M. Góinez-Zamalloa, L. Hubert, and G. Puebla. Verification, of Java Bytecode using Analysis and Transformation of Logic Programs. In Ninth International Symposium on Practical Aspects of Declarative Languages, LNCS. Springer-Verlag, January 2007. To appear.
2. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776-822, 2000.
3. S. Antoy and M. Hanus. Overlapping rules and logic variables in functional logic programs. In Proceedings of the International Conference on Logic Programming (ICLP 2006), pages 87-101. Springer LNCS 4079, 2006.
4. ART. Hat - the Haskell tracer (version 2.04). Available at URL http://haskell.org/hat/, 2005.
5. B. Braßel, O. Chitil, M. Hanus, and F. Huch. Observing functional logic computations. In Proc. of the Sixth International Symposium on Practical. Aspects of Declarative Languages (PADL'04), pages 193-208. Springer LNCS 3057, 2004.
6. B. Braßel, S. Fischer, and F. Huch. A program transformation for tracing functional logic computations. In International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), LNCS. Springer, 2006. To appear.
7. B. Braßel, M. Hanus, and F. Huch. Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming, 2004(6), 2004.
8. B. Braßel, M. Hanus, F. Huch, and G. Vidal. A semantics for tracing declarative multi-paradigm programs. In Proc. of the 6th International ACM SIGPLAN Conference on Principle and Practice of Declarative Programming (PPDP'04), pages 179-190. ACM. Press, 2004.
9. B. Braßel. and F. Huch. Translating Curry to Haskell. In Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pages 60-65. ACM Press, 2005.
10. R. Caballero and M. Rodríguez-Artalejo. Ddt: a declarative debugging tool for functional-logic languages. In Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), pages 70-84. Springer LNCS 2998, 2004.
11. O. Chitil, C. Runciman, and M. Wallace. Freja, hat and hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In Proc. of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), pages 176-193. Springer LNCS 2011, 2001.
12. K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices, 35(9):268-279, September 2000.
13. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, Mass., 1990.
14. M. Hanus et al. Curry: An integrated functional logic language (version 0.8.2). Available at. URL http://www.informatik.uni-kiel.de/~curry, 2006.
15. J. Hughes. Why Functional Programming Matters. Computer Journal, 32(2):98-107, 1989.
16. P. Koopman, A. Alimarine, J. Tretmans, and R. Plasmeijer. Gast: Generic automated software testing. In R. Peña, editor, The 14th International workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 84-100. Madrid, Spain, Springer, September 2002.
17. C. Lembeck, R. Caballero, R. Müller, and H. Kuchen. Constraint solving for generating glass-box test cases. In Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP), pages 19-32, 2004.
18. R. Müller, C. Lembeck, and H. Kuchen. A symbolic Java virtual machine for test-case generation. In Proceedings IASTED, 2004.
19. N. Mweze and W Vanhoof. Automatic generation of test inputs for Mercury programs. In International Symposium on Logic-based Program. Synthesis and Transformation (LOPSTR 2006), LNCS. Springer, 2006. To appear.
20. S. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, 2003.
21. R. S. Pressman. Software Engineering: a Practitioner's Approach. McGraw-Hill, Inc., 1992.