JTorX

MaRDI QIDQ14158swMATHFDO

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

Cited in

(7)

• Generation of complete test suites from Mealy input/output transition systems
• Model-based testing of probabilistic 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