Search

• < Previous
• 1
• Next >

Off-line test selection with test purposes for non-deterministic timed automata

This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance theory. In this context, a fi?rst problem is the determinization of TAIOs, which is necessary to foresee next enabled&nbsp;[&hellip;]