@article{FJJ+97,
title = {An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology },
author = {Fernandez, Jean-Claude and Jard, Claude and J\'eron, Thierry and Viho, C\'esar},
year = {1997},
journal = {Sci. Comput. Program.},
number = {1},
pages = {123-146},
volume = {29},
team = {DCS},
}