Home » Authors » Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho

Public reference bibliography and cataloged PDF materials authored or published by Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho.

Found 1 document(s) Page 1 of 1

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology

Year: 1996 • Source: hal.science • Listed PDF

In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced verification techniques applied to a rea...