scientific article; zbMATH DE number 1418452

zbMATH Open0952.68009MaRDI QIDQ4942008FDOQ4942008

Authors: Claude Jard, Thierry Jéron, Lénaïck Tanguy, César Viho 

Publication date: 19 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• Synchronizing asynchronous conformance testing
• A Fresh Look at Testing for Asynchronous Communication
• Passive testing with asynchronous communications and timestamps
• Publication:4942022
• Using Time to Add Order to Distributed Testing

zbMATH Keywords

remote asynchronous testing

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cited In (9)

• Agreement between conformance and composition
• The complexity of asynchronous model based testing
• Interaction semantics with refusals, divergence, and destruction
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Passive testing with asynchronous communications and timestamps
• Synchronizing asynchronous conformance testing
• Specification completion for IOCO
• Timed implementation relations for the distributed test architecture
• Formalization of test experiments

Uses Software

• SPIN

This page was built for publication:

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