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