Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …

Numerous software systems are highly configurable and provide a myriad of configuration
options that users can tune to fit their functional and performance requirements (eg …

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 …

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 …

Configurable systems often contain components from different fields or disciplines that are
relevant for distinct stakeholders. For instance, tests or analyses targeting interactions of the …