Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults.

Kostas N. Oikonomou

Published in: IEEE Trans. Computers (1987)

Keyphrases

finite state machines
state transition
model checking
finite state automata
mutation testing
dynamic programming
worst case
database
optimal solution
input data
black box
regular expressions