sle2025/paper13

SLE 2025 paper:
(Semantic) Feature Model Differences with (Q)SAT

Simone Heisinger, Maximilian Heisinger, Martina Seidl

• DOI: 10.1145/3732771.3742723
• T2C: Variability
  • Feature models and their evolution are central artefacts in product line/variability engineering.
• T5D: Formal Methods
  • The approach encodes semantics into SAT/QSAT and reasons formally about differences between model versions.
• T2B: Evolution
  • It is explicitly about tracking differences across iterations, i.e., evolution of feature models over time.

---

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