Pages that link to "Item:Q1028999"
From MaRDI portal
The following pages link to Distributed testing without encountering controllability and observability problems (Q1028999):
Displaying 11 items.
- Overcoming controllability problems with fewest channels between testers (Q1013263) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Coordination algorithm for distributed testing (Q1395717) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Constructing checking sequences for distributed testing (Q2432224) (← links)
- Timing issues in distributed testing (Q2644569) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464473) (← links)
- Principles of Distributed Systems (Q5713690) (← links)
- Formal Approaches to Software Testing (Q5902013) (← links)