An automatic trace analysis tool generator for Estelle specifications
暂无分享,去创建一个
[1] S. Alan Ezust,et al. Tango: The Trace ANalysis GeneratOr , 1995 .
[2] O. Bellal,et al. Automatic Test Result Analysis for High-Level Specifications , 1991 .
[3] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[4] Jean G. Vaucher,et al. Performance simulation of communication protocols based on formal specifications , 1992 .
[5] FredlundLars-Ake. Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991) , 1991 .
[6] Michel Diaz,et al. Observer: a run-time checking tool for local area networks , 1985, PSTV.
[7] Daniel Hoffman,et al. Trace Specifications: Methodology and Models , 1988, IEEE Trans. Software Eng..
[8] Gregor von Bochmann,et al. An approach to testing specifications , 1983, J. Syst. Softw..
[9] Antti Valmari. A stubborn attack on state explosion , 1992, Formal Methods Syst. Des..
[10] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[11] Gregor von Bochmann,et al. A Test Design Methodology for Protocol Testing , 1987, IEEE Transactions on Software Engineering.
[12] 인소란. [特輯]Extended State Transition Language(ESTELLE) , 1988 .
[13] Gregor von Bochmann,et al. Distributed Observation and FIFO Queues , 1990, FORTE.
[14] Dieter Hogrefe,et al. The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.
[15] Myungchul Kim,et al. Protocol Trace Analysis Based on Formal Specifications , 1991, FORTE.
[16] Robin M. S. Cork. The Testing of Protocols in SNA Products - An Overview , 1983, Protocol Specification, Testing, and Verification.
[17] C. Jard,et al. An approach to testing specifications , 1983, SIGSOFT '83.