JTorX

swMATH1419MaRDI QIDQ14158FDOQ14158

Author name not available (Why is that?)

Cited In (4)

• Model-based testing of probabilistic systems
• Generation of complete test suites from Mealy input/output transition systems
• Improving active Mealy machine learning for protocol conformance testing
• A Conformance Testing Relation for Symbolic Timed Automata

This page was built for software: JTorX