The following pages link to TorX (Q19208):
Displaying 15 items.
- Generation of complete test suites from Mealy input/output transition systems (Q282098) (← links)
- On theorem prover-based testing (Q470025) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Information gain of black-box testing (Q640298) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- From generating process views over inter-organizational business processes to achieving their temporal consistency (Q2047507) (← links)
- Test Generation from Recursive Tiles Systems (Q2900183) (← links)
- Play to Test (Q3434603) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- A Conformance Testing Relation for Symbolic Timed Automata (Q3588100) (← links)
- Composition of Model Programs (Q3614846) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Formal Approaches to Software Testing (Q5710638) (← links)
- Formal Approaches to Software Testing (Q5710653) (← links)
