Abstractions of Finite-State Machines and Immediately-Detectable Output Faults.

Kostas N. Oikonomou

Published in: IEEE Trans. Computers (1992)

Keyphrases

finite state machines
state transition
mutation testing
model checking
finite state automata
high level
digital circuits
fault diagnosis
regular expressions
neural network
database applications
model based diagnosis