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 …

Emergent application domains, such as cyber–physical systems, edge computing or industry
4.0. present a high variability in software and hardware infrastructures. However, no single …

Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0
expose highly variable systems with colossal configuration spaces. The automated analysis …

The colossal solution spaces of most configurable systems make intractable their exhaustive
exploration. Accordingly, relevant analyses remain open research problems. There exist …

Cross-tree constraints give feature models maximal expressive power since any
interdependency between features can be captured through arbitrary propositional logic …

Feature models are a common way to represent software product lines today. As soft-ware
development changes software overtime, corresponding feature models need to evolve as …

Uniform Random Sampling (URS) is the problem of selecting solutions (models) from a
Boolean formula such that each solution gets the same probability of being selected. URS …