%0 Conference Proceedings
%F clarke02a
%A Clarke, D.
%A Jéron, T.
%A Rusu, V.
%A Zinovieva, E.
%T STG: a Symbolic Test Generation tool
%B (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS
%I Springer-Verlag
%X We report on a tool we have developed that implements conformance testing techniques to automatically derive symbolic tests cases from formal operational specifications. We demonstrate the application of the techniques and tools on a simple example and present case studies for the CEPS (Common Electronic Purse Specification) and for the file system of the 3GPP (3rd Generation Partnership Project) card
%U http://www.irisa.fr/vertecs/Publis/Ps/2002-TACAS.ps.gz
%D 2002