Fast testing of critical properties through passive testing

DOI10.1007/3-540-44830-6_22MaRDI QIDQ4437078zbMATH OpenFDO

Authors José Antonio Arnedo, Ana Cavalli, Manuel Núñez

Publication date 7 December 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440295.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computing methodologies and applications (68U99)

Recommendations

• A passive testing approach based on invariants: application to the WAP
• Passive Testing of Timed Systems
• Correct passive testing algorithms and complete fault coverage
• An extended framework for passive asynchronous testing
• Passive testing with asynchronous communications and timestamps

Cited in

(8)

• Passive testing with asynchronous communications and timestamps
• Incubation time based testing of materials
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• A passive testing approach based on invariants: application to the WAP
• An extended framework for passive asynchronous testing
• Passive Testing of Timed Systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Correct passive testing algorithms and complete fault coverage

This page was built for publication: Fast testing of critical properties through passive testing

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