Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29(1-2):123-146, 1997.
@article{FernandezJJV97, title = {An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology}, author = {Jean-Claude Fernandez and Claude Jard and Thierry Jéron and César Viho}, year = {1997}, tags = {protocol, testing}, researchr = {https://researchr.org/publication/FernandezJJV97}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {29}, number = {1-2}, pages = {123-146}, }