Bounded Sequence Testing from Non-deterministic Finite State Machines.

Florentin Ipate

Published in: TestCom (2006)

Keyphrases

finite state machines
state transition
finite state automata
regular expressions
model checking
hidden markov models
mutation testing
test cases
database
neural network
test suite
software testing
test generation