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 …

Configurable systems are widely used for families of products that share multiple
configuration options. These systems often induce a large configuration space. Handling the …

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 …

Several relevant analyses on configurable software systems remain intractable because
they require examining vast and highly-constrained configuration spaces. Those analyses …

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 …

Variability models are broadly used to specify the configurable features of highly
customizable software. In practice, they can be large, defining thousands of features with …