-
Selection by year
-
Selection by authors
-
Complete lists
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
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)