Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging

Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to locate the defects are typically nontrivial and time consuming. In this paper, we propose a novel automated approach to pin-point the root-causes of software failures. Our proposed approach consists of three steps. The first step is bug prediction, which leverages the existing work on anomaly-based bug detection as exceptional behavior during program execution has been shown to frequently point to the root cause of a software failure. The second step is bug isolation, which eliminates false-positive bug predictions by checking whether the dynamic forward slices of bug predictions lead to the observed program failure. The last step is bug validation, in which the isolated anomalies are validated by dynamically nullifying their effects and observing if the program still fails. The whole bug prediction, isolation a...

• Type: Conference
• Year: 2009
• Where: ASPLOS
• Authors: Martin Dimitrov, Huiyang Zhou
• Keywords: Anomaly-based Bug Detection, ASPLOS 2009, Bug Prediction, False-positive Bug Predictions, Programming Languages