2018 · 34 citations · 26 references
ComputingComputer EngineeringComputer ScienceOperating SystemsProgramming LanguagesSoftware EngineeringControl-flow AnalysisData-flow AnalysisFault DetectionSoftware TestingAutomated Bug FindingBug LocalizationData Flow PatternsDefect LocalizationFault Localization AlgorithmsSoftware Fault Detection
We present the Jaguar fault localization tool, which uses Spectrum-based Fault Localization techniques (SFL) to indicate faulty code excerpts. Jaguar supports both control-flow and data-flow spectra. It also provides visualization of lists containing suspicious program elements that are more likely to be faulty. These lists can be used to inspect suspicious methods, lines, and variables to locate bugs. Although data-flow spectrum provides more comprehensive information than control-flow, it is rarely used in SFL due to its high execution costs. Jaguar uses the ba-dua coverage tool, which gathers data-flow spectrum using a lightweight approach. Thus, Jaguar can be used in large programs at affordable execution costs. Jaguar is an open source tool for Java programs, which is available as an Eclipse plug-in and as a command line tool.
26
A Survey on Software Fault Localization
W. Eric Wong, Ruizhi Gao, Yihao Li et al. · IEEE Transactions on Software Engineering · 2016 · 1.1K citations
On the Accuracy of Spectrum-based Fault Localization
Peter Zoeteweij, Arjan J. C. van Gemund · 2007 · 725 citations · Full text