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.