Symbolic execution techniques for test purpose definition

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

Volumn 3964 LNCS, Issue , 2006, Pages 1-18

  Gaston, Christophe ^a   Le Gall, Pascale ^b   Rapin, Nicolas ^a   Touil, Assia ^b  

^a DIF   (France)

^b UNIVERSITY OF EVRY   (France)

Author keywords

Conformance testing; Coverage Criteria; Input Output Symbolic Transition Systems; Symbolic Execution; Test Purposes

Indexed keywords

ALGORITHMS; CLASSIFICATION (OF INFORMATION); COMPUTER SCIENCE; DATA STRUCTURES; TREES (MATHEMATICS); COMPUTER AIDED ANALYSIS; MODEL CHECKING; SOFTWARE TESTING; SPECIFICATIONS;

CONFORMANCE TESTING; COVERAGE CRITERIA; INPUT/OUTPUT SYMBOLIC TRANSITION SYSTEMS; SYMBOLIC EXECUTION; TEST PURPOSES; SYMBOLIC TRANSITION SYSTEMS; TEST PURPOSE;

CODES (SYMBOLS); TESTING;

EID: 33745968975     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754008_1     Document Type: Conference Paper

References (13)

1. Omega 1.2. The Omega Project: Algorithms and Frameworks for Analyzing and Transforming Scientific Programs. 1994.
2. L.-A. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on software engineering, 2(3):215-222, September 1976.
3. L. Frantzen, J. Tret mans, and T. A.C. Willemse, Test generation based on symbolic specifications. In J. Grabowski and B. Nielsen, editors, FATES 2004, number 3395 in LNCS, pages 1-15. Springer-Verlag, 2005.
4. C. Jard and T. Jéron. TGV: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT), 6, October 2004.
5. B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic test selection based on approximate analysis. In 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440, Edinburgh, April 2005.
6. J.-C. King. A new approach to program testing, Proceedings of the international conference on Reliable software, Los Angeles, California, 21-23:228-233, April 1975.
7. D. Lugato, N. Rapin, and J.-P. Gallois. Verification and tests generation for SDL industrial specifications with the AGATHA toolset. In P. Petterson and S. Yovine, editors, Proceedings of the Workshop on Real-Time Tools affiliated to CONCUR01, Department of Information Technology UPPSALA UNIVERSITY Box 337, SE-751 05 Sweden, August 2001. ISSN 1404-3203.
8. M. Presburger. Über die Vollständigkeit eines gewissen Systems der Arithmetic. Comptes rendus du premier Congres des Math. des Pays Slaves, pages 92-101, 395, 1929.
9. C.-V. Ramamoorthy, S.-F. Ho, and W.-T. Chen. On the automated generation of program test data. IEEE Transactions on software engineering, 2(4):293-300, September 1976.
10. N. Rapin, C. Gaston, A. Lapitre, and J.-P. Gallois. Behavioural unfolding of formal specifications based on communicating automata. In Proceedings of first Workshop on Automated technology for verification and analysis, Taiwan, 2003.
11. V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods, pages 338-357, London, UK, 2000. Springer-Verlag.
12. J. Tretmans. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems, 29:49-79, 1996.
13. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17(3):103-120, 1996.