Fault Detection of FSM Based System
暂无分享,去创建一个
[1] Zhi Xu,et al. An Improved Approach to Passive Testing of FSM-based Systems , 2007, Second International Workshop on Automation of Software Test (AST '07).
[2] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..
[3] Ana R. Cavalli,et al. Passive testing and application to the GSM-MAP protocol , 1999, Inf. Softw. Technol..
[4] Jianping Wu,et al. An enhanced passive testing tool for network protocols , 2003, 2003 International Conference on Computer Networks and Mobile Computing, 2003. ICCNMC 2003..
[5] Jianping Wu,et al. From Active to Passive: Progress in Testing of Internet Routing Protocols , 2001 .
[6] David Lee,et al. Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.
[7] Ana R. Cavalli,et al. A GSM-MAP Protocol Experiment Using Passive Testing , 1999, World Congress on Formal Methods.
[8] Ana R. Cavalli,et al. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach , 2004, FORTE.
[9] K. A. Arisha,et al. On fault location in networks by passive testing , 2000, Conference Proceedings of the 2000 IEEE International Performance, Computing, and Communications Conference (Cat. No.00CH37086).
[10] David Lee,et al. Network protocol system monitoring: a formal approach with passive testing , 2006, TNET.
[11] Raymond E. Miller,et al. Fault identification in networks by passive testing , 2001, Proceedings. 34th Annual Simulation Symposium.
[12] Alexandre Petrenko,et al. On Fault Coverage of Tests for Finite State Specifications , 1996, Comput. Networks ISDN Syst..
[13] Jianping Wu,et al. OnLine Test System, an application of passive testing in routing protocols test , 2001, Proceedings. Ninth IEEE International Conference on Networks, ICON 2001..
[14] William Stallings. SNMP, SNMPv2, and CMIP: the practical guide to network management , 1993 .
[15] R. E. Miller,et al. Passive testing of networks using a CFSM specification , 1998, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191).
[16] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.
[17] David Lee,et al. A formal approach for passive testing of protocol data portions , 2002, 10th IEEE International Conference on Network Protocols, 2002. Proceedings..
[18] M. Degroot,et al. Probability and Statistics , 2021, Examining an Operational Approach to Teaching Probability.