Tool Artifact for ``Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair''
Year: 2024
Type: article
Abstract: In this work, we describe the installation, usage, and evaluation results of the tool, denoted SPLFaultLoc, introduced by the paper``Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair''. We provide step-by-step instructions on how to download, run, and compare the tool's outputs to outputs described in the paper. The tool is a research prototype SPL fault localizer for analyzing program families (SPLs) in C using abstract interpretation. It uses an iterative refinement sequence of backward-forward lifted abstract analyses to compute lifted error invariants, which are used for feature- and statement-wise semantic slicing of buggy SPLs that removes the statements irrelevant for assertion violation. Moreover, we have integrated our \texttt{SPLFaultLoc} with the \texttt{SPLAllRepiar} tool to design an efficient SPL repair algorithm that repeatedly mutates expressions in the statement identified as relevant for the bug until a correct SPL is found.
Author: Aleksandar, Dimovski
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6911903985