Viho: Using on-the-fly verification techniques for the generation of test suites. (1996)

by J C Fernandez, C Jard, T Jeron, G
Venue:In Rajeev Alur, Thomas A. Henzinger, eds.: Proceedings of the Eighth International Conference on Computer Aided Verification CAV. Volume 1102.,