Case studies on fault detection effectiveness of model based test generation techniques.
Amit M. ParadkarPublished in: A-MOST (2005)
Keyphrases
- fault detection
- test generation
- case study
- fault diagnosis
- fault identification
- industrial processes
- mutation testing
- test cases
- fuel cell
- tennessee eastman
- fault localization
- condition monitoring
- design automation
- failure detection
- fault detection and diagnosis
- static analysis
- real world
- symbolic execution
- power plant
- decision support system
- decision making
- data sets
- fault detection and isolation
- robust fault detection
- software testing
- design process
- knowledge management
- software engineering
- expert systems
- neural network