Controllable Test Cases for the Distributed Test Architecture
From MaRDI portal
Publication:3540074
DOI10.1007/978-3-540-88387-6_16zbMath1183.68098MaRDI QIDQ3540074
Manuel A. Nunez, Robert M. Hierons, Mercedes G. Merayo
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
68M14: Distributed systems
68M15: Reliability, testing and fault tolerance of networks and computer systems
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
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