Checking Completeness of Tests for Finite State Machines.

Adenilso da Silva Simão Alexandre Petrenko

Published in: IEEE Trans. Computers (2010)

Keyphrases

finite state machines
finite state automata
model checking
mutation testing
regular expressions
state transition
digital circuits
hidden markov models
database management systems
test cases
pattern matching
test suite