Minimizing Coordination Channels in Distributed Testing
From MaRDI portal
Publication:3613091
DOI10.1007/11888116_32zbMath1225.68042MaRDI QIDQ3613091
Hüsnü Yenigün, Guy-Vincent Jourdan, 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
68M14: Distributed systems
68M15: Reliability, testing and fault tolerance of networks and computer systems
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