Jump to : Contact | BibTex reference | EndNote reference |
Thierry Jéron
Thierry.Jeron@irisa.fr
Vlad Rusu
Vlad.Rusu@irisa.fr
Elena Zinovieva
elena.zinovieva@irisa.fr
@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}
}
Get EndNote Reference (.ref)