The following pages link to (Q4532083):
Displayed 15 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- Composing model programs for analysis (Q710670) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model (Q3058772) (← links)
- A General Testability Theory (Q3184700) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- A Formal Methodology to Test Complex Heterogeneous Systems (Q3510809) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Model Driven Testing Based on Test History (Q3599217) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- Composition of Model Programs (Q3614846) (← links)