Sciweavers

19
Voted
TACAS
2010
Springer
316views Algorithms» more  TACAS 2010»
13 years 4 months ago
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
Axel Belinfante