Bug-Assist: Assisting Fault Localization in ANSI-C Programs
Abstract elided by the publisher.
Related papers
- Model-Based Fault Classification for Automotive Software APLAS 2022
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Must Fault Localization for Program Repair CAV 2020
- Transforming programs and tests in tandem for fault localization OOPSLA 2017
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations CAV 2026
- High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM CGO 2024
- Concurrency bug localization using shared memory access pairs PPoPP 2014