JTorX

swMATH1419MaRDI QIDQ14158FDOQ14158

Author name not available (Why is that?)

Official website: http://www.inrialpes.fr/vasy/cadp/software/10-c-jtorx.html

Cited In (7)

• Model-based testing of probabilistic systems
• Generation of complete test suites from Mealy input/output transition systems
• TorX
• ADABU
• PLASMA
• A conformance testing relation for symbolic timed automata
• Improving active Mealy machine learning for protocol conformance testing

This page was built for software: JTorX