A fusion-based approach for tolerating faults in finite state machines.
Vinit A. OgaleBharath BalasubramanianVijay K. GargPublished in: IPDPS (2009)
Keyphrases
- finite state machines
- mutation testing
- model checking
- finite state automata
- fault diagnosis
- data fusion
- regular expressions
- hidden markov models
- information fusion
- digital circuits
- model based diagnosis
- fusion method
- fusion algorithm
- image fusion
- multiresolution
- database
- fusion methods
- test sequences
- repair actions
- multiple faults
- multi sensor
- data mining