Login / Signup
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.
Aleksandr S. Tvardovskii
Khaled El-Fakih
Maxim Gromov
Nina Yevtushenko
Published in:
Autom. Control. Comput. Sci. (2017)
Keyphrases
</>
finite state machines
model checking
finite state automata
finite state
hidden markov models
regular expressions
digital circuits
timed automata
web services
data model
test cases
mutation testing
test data
test sequences