Timed implementation relations for the distributed test architecture
From MaRDI portal
Publication:2251156
DOI10.1007/s00446-014-0208-5zbMath1291.68048MaRDI QIDQ2251156
Mercedes G. Merayo, Manuel A. Nunez, Robert M. Hierons
Publication date: 11 July 2014
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/9965
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A limitation of vector timestamps for reconstructing distributed computations
- The synchronization problem in protocol testing and its complexity
- Coordination algorithm for distributed testing
- Implementation relations and test generation for systems with distributed interfaces
- Checking sequences for distributed test architectures
- Constructing checking sequences for distributed testing
- Optimal and efficient clock synchronization under drifting clocks
- Introduction to Software Testing
- A Fresh Look at Testing for Asynchronous Communication
- Controllable Test Cases for the Distributed Test Architecture
- Synchronizing clocks in the presence of faults
- Time, clocks, and the ordering of events in a distributed system
- Using Time to Add Order to Distributed Testing
- Testing can be formal, too
- A Method for the Design of Fault Detection Experiments