CfPBoK
by
Vadim Zaytsev
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.