Testing Finite-State Machines: State Identification and Verification.

David Lee Mihalis Yannakakis

Published in: IEEE Trans. Computers (1994)

Keyphrases

finite state machines
model checking
formal verification
state transition
test generation
person identification
hidden markov models
finite state automata
verification method
mutation testing
neural network
domain specific
test cases
regular expressions