[BOOK][B] Mastering software variability with FeatureIDE

J Meinicke, T Thüm, R Schröter, F Benduhn, T Leich… - 2017 - Springer
In the era of mobile devices and the Internet of things, software systems are ubiquitous. A
multitude of hardware specifics, fast development of applications, and the need of …

Role of requirement prioritization technique to improve the quality of highly-configurable systems

A Ali, Y Hafeez, S Hussain, S Yang - IEEE Access, 2020 - ieeexplore.ieee.org
Highly-configurable systems are such systems which are not developed for single scenario.
However, perhaps they have variable functionality and they are developed for hybrid …

Yet another textual variability language? a community effort towards a unified language

C Sundermann, K Feichtinger, D Engelhardt… - Proceedings of the 25th …, 2021 - dl.acm.org
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 …

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 …

Product sampling for product lines: the scalability challenge

T Pett, T Thüm, T Runge, S Krieter, M Lochau… - Proceedings of the 23rd …, 2019 - dl.acm.org
Quality assurance for product lines is often infeasible for each product separately. Instead,
only a subset of all products (ie, a sample) is considered during testing such that at least the …

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 …

Tseitin or not tseitin? the impact of cnf transformations on feature-model analyses

E Kuiter, S Krieter, C Sundermann, T Thüm… - Proceedings of the 37th …, 2022 - dl.acm.org
Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

Evaluating# SAT solvers on industrial feature models

C Sundermann, T Thüm, I Schaefer - Proceedings of the 14th …, 2020 - dl.acm.org
Configurable systems are widely used for families of products that share multiple
configuration options. These systems often induce a large configuration space. Handling the …

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 …

Blockchain-based e-vote-as-a-service

E Bellini, P Ceravolo, E Damiani - 2019 IEEE 12th International …, 2019 - ieeexplore.ieee.org
This article aims at introducing a new configurable and multipurpose electronic voting
service based on the blockchain infrastructure. The objective is to design an architecture to …