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

Pedro Orvalho, Mikols Janota, Vasco M. Manquinho

Browse the full FM paper archive.