@InProceedings{10.1007/978-3-031-71162-6_24,
author="Orvalho, Pedro
and Janota, Mikol{\'a}{\v{s}}
and Manquinho, Vasco",
editor="Platzer, Andr{\'e}
and Rozier, Kristin Yvonne
and Pradella, Matteo
and Rossi, Matteo",
title="cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases",
booktitle="Formal Methods",
year="2025",
publisher="Springer Nature Switzerland",
address="Cham",
pages="463--481",
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.",
isbn="978-3-031-71162-6"
}