%0 Conference Proceedings
%F tCJ-CI27
%A Fernandez, JC
%A Jard, C.
%A Jéron, T.
%A Viho, C.
%T Using on-the-fly Verification Techniques for the Generation of Test 	Suites
%B Computer Aided Verification (CAV96)
%N 1102
%S LNCS
%I Springer Verlag
%C Boston
%8 August
%D 1996
%K Monitoring