On the Value of Static Analysis for Fault Detection in Software.
Jiang ZhengLaurie A. WilliamsNachiappan NagappanWill SnipesJohn P. HudepohlMladen A. VoukPublished in: IEEE Trans. Software Eng. (2006)
Keyphrases
- static analysis
- fault detection
- source code
- dynamic analysis
- fault diagnosis
- industrial processes
- fault identification
- failure detection
- condition monitoring
- robust fault detection
- tennessee eastman
- power plant
- fuel cell
- fault localization
- test suite
- fault detection and diagnosis
- abstract interpretation
- regular expressions
- object oriented
- software systems
- historical data