A Formula-Based Approach for Automatic Fault Localization of Imperative Programs

@inproceedings{Lamraoui2014AFA,
  title={A Formula-Based Approach for Automatic Fault Localization of Imperative Programs},
  author={Si-Mohamed Lamraoui and Shin Nakajima},
  booktitle={ICFEM},
  year={2014}
}
Among various automatic fault localization methods, two of them are specifically noticed, coverage-based and formula-based. While the coverage-based method relies on statistical measures, the formula-based approach is an algorithmic method being able to provide fine-grained information account for identified root causes. The method combines the SAT-based formal verification techniques with the Reiter’s model-based diagnosis theory. This paper adapts the formula-based fault localization method… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-7 OF 7 CITATIONS

Hardened Flow-Sensitive Trace Formula for Fault Localization

  • 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)
  • 2015
VIEW 18 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

A Generalized Approach to Verification Condition Generation

  • 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
  • 2018
VIEW 2 EXCERPTS
CITES METHODS

Effective Fault Localization Using Dynamic Slicing and an SMT Solver

  • 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2016