Compositional Testing of Communication Systems

DOI10.1007/11754008_15MaRDI QIDQ3434660zbMATH OpenOpenAlexFDO

Authors R. Gotzhein, Ferhat Khendek

Publication date 2 May 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• Formal Approaches to Software Testing
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Connectivity testing
• Testability of a communicating system through an environment
• scientific article; zbMATH DE number 2013787

Cited in

(6)

• Passive testing and fault diagnosis for communication finite state machines
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 2013787 (Why is no real title available?)
• Component-aware input-output conformance
• Testability of a communicating system through an environment
• Formal Approaches to Software Testing

This page was built for publication: Compositional Testing of Communication Systems

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