An experiment in automatic generation of test suites for protocols with verification technology (1997)

by J-C Fernandez, C Jard, T Jéron, C Viho
Venue:Science of Computer Programming