Variability models are commonly used to model commonalities and variability in a product
line. There is a large variety of textual formats to represent and store variability models. This …

Feature models are the de facto standard for modelling variabilities and commonalities in
features and relationships in software product lines. They are the base artefacts in many …

Feature models are commonly used to specify valid configurations of a product line. In
industry, feature models are often complex due to numerous features and constraints. Thus …

Product lines are widely used to manage families of products that share a common base of
features. Typically, not every combination (configuration) of features is valid. Feature models …

Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

Product lines are ubiquitous for managing variable systems. The variability of a product line
is typically described in terms of a feature model. Analyzing a feature model gives insight …

In practice, feature models often have up-to thousands of features and, thus, are typically
infeasible to analyze manually. Hence, many different analyses have been proposed which …

Feature models are widely used for specifying the valid configurations of product lines. Many
automated analyses on feature models have been considered, but they often depend on …

Feature models are commonly used to specify the valid configurations of a product line. In
industry, feature models are often complex due to a large number of features and …

Abstract Satisfiability Modulo Theories (SMT) is an enabling technology with many
applications, especially in computer-aided verification. Due to advances in research and …