%0 Conference Proceedings
%F Fernandez-Jard-Jeron-Viho-CAV96
%A Fernandez, J.-C.
%A Jard, C.
%A Jéron, T.
%A Viho, G.
%T Using on-the-fly Verification Techniques for the Generation of Test Suites
%B Conference on Computer-Aided Verification (CAV'96), New Brunswick, New Jersey, USA
%E Alur, A.
%E Henzinger, T.
%V 1102
%S LNCS
%I Springer-Verlag
%U http://www.irisa.fr/vertecs/Publis/Ps/96-CAV-RR.ps.Z
%8 July
%D 1996