STG: A symbolic test generation tool

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

Volumn 2280 LNCS, Issue , 2002, Pages 470-475

  Clarke, Duncan ^a   Jéron, Thierry ^b   Rusu, Vlad ^b   Zinovieva, Elena ^b  

^a UNIVERSITY OF SOUTH CAROLINA   (United States)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

TESTING;

CONFORMANCE TESTING; ELECTRONIC PURSE; FILE SYSTEMS; OPERATIONAL SPECIFICATIONS; SYMBOLIC TEST; SYMBOLIC TEST GENERATION; TECHNIQUES AND TOOLS; THIRD GENERATION;

SPECIFICATIONS;

EID: 84888251604     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_34     Document Type: Conference Paper

References (9)

1. 3GPP. Third Generation Partnership Project (http://www.3gpp.org).
2. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communication Systems (IWTCS'99), pages 179-196, 1999.
3. CEPSCO. Common Electronic Purse Specifications, Technical Specification (http://www.cepsco.org), May 2000.
4. D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. Automated test and oracle generation for smart-card applications. In Proceedings of the International Conference on Research in Smart Cards, Volume 2140 of LNCS, pages 58-70, Cannes, France, September 2001.
5. E. R. Gansner and S. C. North. An open graph visualization system and its applications to software engineering. Software: Practice and Experience, 30(11):1203-1233, September 2000.
6. T. Jéron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV '99), Volume 1633 of LNCS, pages 108-122, 1999.
7. W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpiesman, and D. Wonnacott. The Omega library interface guide. Available at http://www.cs.umd.edu/projects/ omega.
8. V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods, Volume 1945 of LNCS, pages 338-357, Dagstuhl, Germany, November 2000. Springer-Verlag.
9. J. Tretmans. A formal approach to conformance testing. In The 6th International Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257-276, 1994.