Reducing locating sequences for testing from finite state machines.

Guy-Vincent Jourdan Hasan Ural Hüsnü Yenigün

Published in: SAC (2016)

Keyphrases

finite state machines
hidden markov models
test sequences
mutation testing
model checking
finite state automata
test cases
regular expressions
test generation
sequential patterns
long sequences
test data
test suite
sequence alignment
high level
variable length