-
An Experiment in Automatic Generation of Test Suites for Protocols with Verif...
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... -
The Circus Testing Theory Revisited in Isabelle/HOL
International audience
