The following pages link to JTorX (Q14158):
Displaying 4 items.
- Generation of complete test suites from Mealy input/output transition systems (Q282098) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- A Conformance Testing Relation for Symbolic Timed Automata (Q3588100) (← links)