Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.

Aleksandr S. Tvardovskii Khaled El-Fakih Nina Yevtushenko

Published in: ICTSS (2018)

Keyphrases

finite state machines
finite state automata
model checking
state transition
regular expressions
digital circuits
databases
hidden markov models
mutation testing
database
data mining
domain knowledge
query language
efficient learning
test generation