Bounded sequence testing from deterministic finite state machines.

Florentin Ipate

Published in: Theor. Comput. Sci. (2010)

Keyphrases

finite state machines
finite state automata
state transition
mutation testing
model checking
test cases
hidden markov models
black box
neural network
test generation
regular expressions
digital circuits
test sequences
software testing
quality assurance
test set
software development
data analysis
metadata