Modular soundness checking of feature model evolution plans

Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu. Modular soundness checking of feature model evolution plans. Theoretical Computer Science, 1054:115451, 2025. [doi]

Abstract

Abstract is missing.