Fault detection with multiple observers
IEEE/ACM Transactions on Networking (TON)
Internetworking with TCP/IP (vol. 2, 2nd ed.): design, implementation, and internals
Internetworking with TCP/IP (vol. 2, 2nd ed.): design, implementation, and internals
Network troubleshooting
Introduction to Algorithms
A Formal Approach for Passive Testing of Protocol Data Portions
ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Proactive Network Fault Detection
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Passive testing and applications to network management
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Coping with nondeterminism in network protocol testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Research: Signature-based method for run-time fault detection in communication protocols 1
Computer Communications
An Improved Approach to Passive Testing of FSM-based Systems
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
From the IMS PoC service monitoring to its formal conformance testing
Mobility '09 Proceedings of the 6th International Conference on Mobile Technology, Application & Systems
An autonomic testing framework for IPv6 configuration protocols
AIMS'10 Proceedings of the Mechanisms for autonomous management of networks and services, and 4th international conference on Autonomous infrastructure, management and security
Model-based testing without a model: assessing portability in the Seattle testbed
SSV'10 Proceedings of the 5th international conference on Systems software verification
Data-centric property formulation for passive testing of communication protocols
ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
New approach for EFSM-based passive testing of web services
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
An EFSM-based passive fault detection approach
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A formal data-centric approach for passive testing of communication protocols
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.00 |
We study network protocol system monitoring for fault detection using a formal technique of passive testing that is a process of detecting system faults by passively observing its input/output behaviors without interrupting its normal operations. After describing a formal model of event-driven extended finite state machines, we present two algorithms for passive testing of protocol system control and data portions. Experimental results on OSPF and TCP are reported.