STG: A tool for generating symbolic test programs and oracles from operational specifications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 301-302

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

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; HEURISTIC METHODS; NETWORK PROTOCOLS;

SYMBOLIC TEST GENERATION (STG);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035783444     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In Proceedings of the International Workshop on the Testing of Communication Systems, pages 179-196, 1999.
2. CEPSCO. Common Electronic Purse Specifications, Technical Specification (http://www.cepsco.org), May 2000.
3. D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. Automated test and oracle generation for smart-card applications. In Proceedings of the e-Smart 2001, To appear in LNCS, Cannes, France, September 2001.
4. http://www.irisa.fr/prive/lenaz/research/papers/esec-full.ps.
5. 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.
6. D.K. Peters and D.L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161-173, March 1998.
7. S. Rapps and E.J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367-375, April 1985.
8. V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In Proceedings of the 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 Proceedings of the 6th International Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257-276, 1994.