Login / Signup
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.
Abderrazak Ghedamsi
Rachida Dssouli
Gregor von Bochmann
Published in:
Protocol Test Systems (1992)
Keyphrases
</>
finite state machines
diagnostic tests
fault isolation
state transition
finite state automata
mutation testing
fault diagnosis
model checking
database
video sequences
fault detection