Generating Reduced Tests for FSMs with Extra States.

Adenilso da Silva Simão Alexandre Petrenko Nina Yevtushenko

Published in: TestCom/FATES (2009)

Keyphrases

finite state machines
partial knowledge
generation process
hidden markov models
database
learning algorithm
search engine
image sequences
reinforcement learning
search space
test cases
statistically significant
statistical tests