Diagnosis of Single Transition Faults in Communicating Finite State Machines.

Abderrazak Ghedamsi Gregor von Bochmann Rachida Dssouli

Published in: ICDCS (1993)

Keyphrases

finite state machines
fault diagnosis
model based diagnosis
fault detection
state transition
finite state automata
multiple faults
mutation testing
model checking
root cause
fault detection and diagnosis
test cases
repair actions
data analysis
fault identification
domain knowledge
expert systems