CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
机构 * INESC-ID, IST, Universidade de Lisboa, Portugal(葡萄牙里斯本大学、IST、INESC-ID)
专题命中 诊断辅助 :diagnosis(title,abstract)
Comments Accepted at FM 2024. 15 pages, 2 figures, 3 tables and 5 listings
Journal ref In the 26th international symposium on Formal Methods, FM 2024