Automated analysis of feature models: Quo vadis?

JA Galindo, D Benavides, P Trinidad… - Computing, 2019 - Springer
Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …

Search based software engineering for software product line engineering: a survey and directions for future work

M Harman, Y Jia, J Krinke, WB Langdon… - Proceedings of the 18th …, 2014 - dl.acm.org
This paper presents a survey of work on Search Based Software Engineering (SBSE) for
Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that …

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces

C Sundermann, T Heß, M Nieke, PM Bittner… - Empirical Software …, 2023 - Springer
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 …

Applications of# SAT solvers on feature models

C Sundermann, M Nieke, PM Bittner, T Heß… - Proceedings of the 15th …, 2021 - dl.acm.org
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 …

Reusing d-DNNFs for Efficient Feature-Model Counting

C Sundermann, H Raab, T Heß, T Thüm… - ACM Transactions on …, 2024 - dl.acm.org
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 …

On the benefits of knowledge compilation for feature-model analyses

C Sundermann, E Kuiter, T Heß, H Raab… - Proceedings of the 28th …, 2024 - dl.acm.org
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 …

A literature review on feature diagram product counting and its usage in software product line economic models

R Heradio, D Fernandez-Amoros… - International Journal of …, 2013 - World Scientific
In software product line engineering, feature diagrams are a popular means to represent the
similarities and differences within a family of related systems. In addition, feature diagrams …

Exploiting d-dnnfs for repetitive counting queries on feature models

C Sundermann, H Raab, T Heß, T Thüm… - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking

C Sundermann, VF Brancaccio, E Kuiter… - Proceedings of the 28th …, 2024 - dl.acm.org
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 …

Cyber-physical system product line engineering: comprehensive domain analysis and experience report

T Yue, S Ali, B Selic - Proceedings of the 19th International Conference …, 2015 - dl.acm.org
Cyber-Physical Systems (CPSs) are the future generation of highly connected embedded
systems having applications in diverse domains including Oil and Gas. Employing Product …