swMATH ID: 26818
Software Authors: Tom Janssen, Rui Abreu, Arjan J. C. van Gemund
Description: Zoltar: A Toolset for Automatic Fault Localization. Locating software components which are responsible for observed failures is the most expensive, error-prone phase in the software development life cycle. Automated diagnosis of software faults can improve the efficiency of the debugging process, and is therefore an important process for the development of dependable software. In this paper we present a toolset for automatic fault localization, dubbed Zoltar, which hosts a range of spectrum-based fault localization techniques featuring BARINEL, our latest algorithm. The toolset provides the infrastructure to automatically instrument the source code of software programs to produce runtime data, which is subsequently analyzed to return a ranked list of diagnosis candidates. Aimed at total automation (e.g., for runtime fault diagnosis), Zoltar has the capability of instrumenting the program under analysis with fault screeners as a run-time replacement for design-time test oracles
Homepage: https://ieeexplore.ieee.org/document/5431712
Related Software: SOBER; Crisp; pytest; coverage.py; Fault-Localization; PinPoint; Jaguar; UnitFL; VIDA; WhyLine; FLAVS; GZoltar; PyCharm; Python; CharmFL; AspectC++; Daikon; Cetus; IODINE; LARA
Cited in: 0 Publications