Multiple Fault Diagnostics for Finite State Machines.

[1]  G. Bochmann,et al.  Fault Models in Testing , 1991, Protocol Test Systems.

[2]  Alexandre Petrenko.  Checking Experiments with Protocol Machines , 1991, Protocol Test Systems.

[3]  Son T. Vuong,et al.  A novel approach to protocol test sequence generation , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.

[4]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[5]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[6]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[7]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[8]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[9]  Güney Gönenç,et al.  A Method for the Design of Fault Detection Experiments , 1970 .