%0 Conference Proceedings
%F rbj00
%A Rusu, V.
%A du Bousquet, L.
%A Jéron, T.
%T An approach to symbolic test generation
%B International Conference on Integrating Formal Methods (IFM'00)
%P 338-357
%S LNCS 1945
%I Springer Verlag
%U http://www.irisa.fr/vertecs/Publis/Ps/2000-IFM.ps.gz
%8 November
%D 2000