Correct passive testing algorithms and complete fault coverage

DOI10.1007/11965MaRDI QIDQ5900958zbMATH OpenOpenAlexFDO

Authors Arun N. Netravali, Krishan Sabnani, Ramesh Viswanathan

Publication date 26 May 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11965

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• scientific article; zbMATH DE number 2013792
• An extended framework for passive asynchronous testing
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Passive testing and fault diagnosis for communication finite state machines
• A passive testing approach based on invariants: application to the WAP

Cited in

(9)

• From active to passive -- progress in testing internet routing protocols
• Passive testing with asynchronous communications and timestamps
• RiskStructures: a design algebra for risk-aware machines
• A passive testing approach based on invariants: application to the WAP
• Translating Testing Theories for Concurrent Systems
• An extended framework for passive asynchronous testing
• Passive testing and fault diagnosis for communication finite state machines
• scientific article; zbMATH DE number 2013792 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Correct passive testing algorithms and complete fault coverage

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900958)