cjrz01b

D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications. In Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001.

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
Elena Zinovieva http://www.irisa.fr/prive/lenaz

BibTex Reference

@InProceedings{cjrz01b,
   Author = {Clarke, D. and Jéron, T. and Rusu, V. and Zinovieva, E.},
   Title = {STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications},
   BookTitle = {Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9)},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)