Incremental testing of finite state machines.

Lehilton Lelis Chaves Pedrosa Arnaldo Vieira Moura

Published in: Softw. Test. Verification Reliab. (2013)

Keyphrases

finite state machines
model checking
finite state automata
mutation testing
hidden markov models
regular expressions
digital circuits
test cases
test data
incremental learning
databases
software testing
test sequences