Overcoming controllability problems in distributed testing from an input output transition system
From MaRDI portal
Publication:1938361
DOI10.1007/s00446-011-0153-5zbMath1257.68109MaRDI QIDQ1938361
Publication date: 4 February 2013
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/6257
input output transition system; distributed testing; controllability problems; coordination messages
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68M14: Distributed systems
68N99: Theory of software
Related Items
Uses Software
Cites Work
- Unnamed Item
- The synchronization problem in protocol testing and its complexity
- Checking sequences for distributed test architectures
- Constructing checking sequences for distributed testing
- Controllable Test Cases for the Distributed Test Architecture
- A Greedy Heuristic for the Set-Covering Problem
- Approximating the Unweighted ${k}$-Set Cover Problem: Greedy Meets Local Search
- Depth-First Search and Linear Graph Algorithms