@inproceedings{FJJ+96,
title = {Using On-The-Fly Verification Techniques for the Generation of test Suites },
author = {Fernandez, Jean-Claude and Jard, Claude and J\'eron, Thierry and Viho, C\'esar},
year = {1996},
booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
pages = {348-359},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1102},
team = {DCS},
}