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...
Main Authors: | Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2012-10-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/1037/pdf |
Similar Items
-
Efficient reduction of nondeterministic automata with application to language inclusion testing
by: Lorenzo Clemente, et al.
Published: (2019-02-01) -
Degrees of Lookahead in Regular Infinite Games
by: Michael Holtmann, et al.
Published: (2012-09-01) -
B\"uchi Complementation and Size-Change Termination
by: Seth Fogarty, et al.
Published: (2012-02-01) -
Model-Checking of Ordered Multi-Pushdown Automata
by: Mohamed Faouzi Atig
Published: (2012-09-01) -
Families of DFAs as Acceptors of $\omega$-Regular Languages
by: Dana Angluin, et al.
Published: (2018-02-01)