sle2025/paper12

SLE 2025 paper:
Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair

Aleksandar S. Dimovski

• DOI: 10.1145/3732771.3742722
• T2C: Variability
  • The paper targets software product lines and variability bugs, explicitly working over program families.
• T5D: Formal Methods
  • It uses abstract interpretation and lifted invariants, a formal-methods foundation for the fault localization algorithm.
• T2B: Evolution
  • Fault localization and automated repair are maintenance activities aimed at evolving and fixing SPL code bases.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.