Testing Finite State Machines Based on a Structural Coverage Metric .

Sezer Gören F. Joel Ferguson

Published in: ITC (2002)

Keyphrases

finite state machines
test suite
mutation testing
finite state automata
model checking
test cases
metric space
software testing
structural information
information redundancy
code coverage
set of test cases
regular expressions
hidden markov models
digital circuits
evaluation metrics
testing process