Error Invariants for Fault Localization via Abstract Interpretation
No abstract available.
Related papers
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- Modular Software Fault Isolation as Abstract Interpretation SAS 2018
- Using Abstract Interpretation to Correct Synchronization Faults VMCAI 2017
- Transforming programs and tests in tandem for fault localization OOPSLA 2017
- Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors TOPLAS 2026
- From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages SLE 2022
- Improving Thread-Modular Abstract Interpretation SAS 2021