Testing Timed Finite State Machines with Guaranteed Fault Coverage.

Khaled El-Fakih Nina Yevtushenko Hacène Fouchal

Published in: TestCom/FATES (2009)

Keyphrases

finite state machines
finite state automata
model checking
regular expressions
mutation testing
hidden markov models
data sets
test cases
digital circuits
databases
neural network
query language
database management systems
test generation