Testing Finite State Machines (Extended Abstract)

Mihalis Yannakakis David Lee

Published in: STOC (1991)

Keyphrases

extended abstract
finite state machines
model checking
finite state automata
mutation testing
regular expressions
hidden markov models
database
test set
data sets
neural network
case study
keywords
domain knowledge
test data
positive and negative