Controllable Test Cases for the Distributed Test Architecture

DOI10.1007/978-3-540-88387-6_16zbMath1183.68098OpenAlexW1589870140MaRDI QIDQ3540074

Manuel A. Nunez, Mercedes G. Merayo, Robert M. Hierons

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_16

Mathematics Subject Classification ID

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

Related Items

Implementation relations and test generation for systems with distributed interfaces ⋮ Overcoming controllability problems in distributed testing from an input output transition system ⋮ Using schedulers to test probabilistic distributed systems ⋮ Timed implementation relations for the distributed test architecture

Cites Work

• Unnamed Item
• Unnamed Item
• Coordination algorithm for distributed testing
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Formal testing from timed finite state machines
• Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
• Model Checking Software
• Formal Approaches to Software Testing
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

This page was built for publication: Controllable Test Cases for the Distributed Test Architecture