cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases

Published: 01 Jan 2024, Last Modified: 18 Mar 2025FM (1) 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Debugging is one of the most time-consuming and expensive tasks in software development. Several formula-based fault localization (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all failing tests or may produce redundant diagnoses that are not subset-minimal, particularly for programs with multiple faults.
Loading