Testing Finite State Machines: Fault Detection.
Mihalis YannakakisDavid LeePublished in: J. Comput. Syst. Sci. (1995)
Keyphrases
- failure detection
- finite state machines
- fault detection
- model checking
- industrial processes
- fault diagnosis
- finite state automata
- fault identification
- tennessee eastman
- regular expressions
- fault detection and diagnosis
- robust fault detection
- mutation testing
- condition monitoring
- fault isolation
- fuel cell
- hidden markov models
- fault localization
- database
- real time
- fault detection and isolation
- test sequences
- quality assurance
- expert systems