Implementation relations and test generation for systems with distributed interfaces
DOI10.1007/S00446-011-0149-1zbMath1277.68190OpenAlexW1987604851MaRDI QIDQ1938358
Mercedes G. Merayo, Robert M. Hierons, Manuel A. Nunez
Publication date: 4 February 2013
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00446-011-0149-1
formal approaches to testingformal methodologies to develop distributed software systemssystems with distributed ports
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Theory of software (68N99)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Distributed testing without encountering controllability and observability problems
- Canonical finite state machines for distributed systems
- The synchronization problem in protocol testing and its complexity
- Coordination algorithm for distributed testing
- Checking sequences for distributed test architectures
- Constructing checking sequences for distributed testing
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic
- Formal testing from timed finite state machines
- A General Testability Theory
- Controllable Test Cases for the Distributed Test Architecture
- FM 2005: Formal Methods
This page was built for publication: Implementation relations and test generation for systems with distributed interfaces