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
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