Multi-Level Test Generation and Fault Diagnosis for Finite State Machines.
Raimund UbarMarina BrikPublished in: EDCC (1996)
Keyphrases
- fault diagnosis
- test generation
- finite state machines
- mutation testing
- test cases
- test sequences
- static analysis
- expert systems
- fault detection
- neural network
- operating conditions
- fault detection and diagnosis
- fuzzy logic
- finite state automata
- model checking
- electronic equipment
- gas turbine
- regular expressions
- monitoring and fault diagnosis
- quality assurance
- power transformers
- rotating machinery
- condition monitoring
- software testing
- multiple faults
- analog circuits
- chemical process
- hidden markov models
- multi sensor information fusion
- open source
- machine learning