Fully automated interoperability test suite derivation for communication protocols.

DOI10.1016/S1389-1286(03)00316-5MaRDI QIDQ1426234zbMATH OpenFDO

Authors Soonuk Seol, Myungchul Kim, Sungwon Kang, Jiwon Ryu

Publication date 14 March 2004

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1389-1286(03)00316-5

zbMATH Keywords

ATMAutomatic test generationInteroperability testingOrthogonal arraysTCP

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Publication:4942024
• Test generation for interaction detection in feature-rich communication systems
• scientific article; zbMATH DE number 2013787
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A formal approach to protocol interoperability testing

Cited in

(5)

• scientific article; zbMATH DE number 1277118 (Why is no real title available?)
• scientific article; zbMATH DE number 2013787 (Why is no real title available?)
• scientific article; zbMATH DE number 2013788 (Why is no real title available?)
• scientific article; zbMATH DE number 1418464 (Why is no real title available?)
• Assessing and improving interoperability of distributed systems

This page was built for publication: Fully automated interoperability test suite derivation for communication protocols.

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