Lukas Güthing

Context: Cardinality-based Feature Models (CFMs) extend classical boolean feature models with multiplicities of features. While there are analyses to find anomalies in CFMs, the cause of the respective anomaly can be obscured by the complexity of the interplay of different constraints.

Goal: Find (semi-) automatic explanations for different anomalies occurring in CFMs, based on existing analysis techniques.

Requirements: Prior knowledge of product lines and solvers (CSP/SMT/ILP) is not required but might be helpful.