Minimizing Coordination Channels in Distributed Testing

DOI10.1007/11888116_32zbMath1225.68042OpenAlexW1553735400MaRDI QIDQ3613091

Guy-Vincent Jourdan, Hüsnü Yenigün, Hasan Ural

Publication date: 11 March 2009

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Overcoming observability problems in distributed test architectures
• The synchronization problem in protocol testing and its complexity
• Coordination algorithm for distributed testing
• On minimizing the lengths of checking sequences
• Reduced length checking sequences
• Augmentation Problems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Minimizing Coordination Channels in Distributed Testing