Diagnostic tests for communicating finite state machines
暂无分享,去创建一个
[1] Gregor von Bochmann,et al. Test result analysis and diagnostics for finite state machines , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
[2] Güney Gönenç,et al. A Method for the Design of Fault Detection Experiments , 1970 .
[3] Deepinder P. Sidhu,et al. Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..
[4] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[5] Hasan Ural. A Test Derivation Method for Protocol Conformance Testing , 1987, PSTV.
[6] Gregor von Bochmann,et al. Synchronization and Specification Issues in Protocol Testing , 1984, IEEE Trans. Commun..
[7] Son T. Vuong,et al. A novel approach to protocol test sequence generation , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.
[8] Krishan K. Sabnani,et al. A Protocol Test Generation Procedure , 1988, Comput. Networks.
[9] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.