JC Fernandez, C. Jard, T. Jéron, C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, special issue on industrially relevant applications of formal analysis techniques, 1997.
[ Monitoring ]
Claude Jard http://www.irisa.fr/distribcom
@article{tCJ-RI13,
Author = {Fernandez, JC and Jard, C. and Jéron, T. and Viho, C.},
Title = {An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology},
Journal = {Science of Computer Programming, special issue on industrially relevant applications of formal analysis techniques},
Year = {1997}
}
Get EndNote Reference (.ref)