kirancodes.me
To Proof Maintenance & Beyond!

A Linear Programming Approach for Automated Localization of Multiple Faults

Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley

Abstract

In this paper, we address the problem of localizing faults by analyzing execution traces of successful and unsuccessful invocations of the application when run against a suite of tests. We present a new algorithm, based on a linear programming model, which is designed to be particularly effective for the case where multiple faults are present in the application under investigation. Through an extensive empirical study, we show that in the case of both single and multiple faults, our approach outperforms a host of prominent fault localization methods from the literature.

BibTeX
@inproceedings{Dean-al:ASE09,
  author    = {Brian C. Dean and
               William B. Pressly and
               Brian A. Malloy and
               Adam A. Whitley},
  title     = {A Linear Programming Approach for Automated Localization of Multiple Faults},
  booktitle = {ASE},
  pages     = {640--644},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
}

Related papers