A classification and survey of analysis strategies for software product lines

T Thüm, S Apel, C Kästner, I Schaefer… - ACM Computing Surveys …, 2014 - dl.acm.org
Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Feature-oriented software product lines

S Apel, D Batory, C Kästner, G Saake - 2013 - Springer
The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

A comparison of 10 sampling algorithms for configurable systems

F Medeiros, C Kästner, M Ribeiro, R Gheyi… - Proceedings of the 38th …, 2016 - dl.acm.org
Almost every software system provides configuration options to tailor the system to the target
platform and application scenario. Often, this configurability renders the analysis of every …

The love/hate relationship with the C preprocessor: An interview study

F Medeiros, C Kästner, M Ribeiro… - … Conference on Object …, 2015 - drops.dagstuhl.de
The C preprocessor has received strong criticism in academia, among others regarding
separation of concerns, error proneness, and code obfuscation, but is widely used in …

Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell

F Medeiros, M Ribeiro, R Gheyi, S Apel… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
The C preprocessor is used in many C projects to support variability and portability.
However, researchers and practitioners criticize the C preprocessor because of its negative …

Feature-oriented software evolution

L Passos, K Czarnecki, S Apel, A Wąsowski… - Proceedings of the 7th …, 2013 - dl.acm.org
In this paper, we develop a vision of software evolution based on a feature-oriented
perspective. From the fact that features provide a common ground to all stakeholders, we …

Static analysis of variability in system software: The 90,000# ifdefs issue

R Tartler, C Dietrich, J Sincero… - 2014 USENIX Annual …, 2014 - usenix.org
System software can be configured at compile time to tailor it with respect to a broad range
of supported hardware architectures and application domains. The Linux v3. 2 kernel, for …

Static data-flow analysis for software product lines in C: Revoking the preprocessor's special role

PD Schubert, P Gazzillo, Z Patterson, J Braha… - Automated Software …, 2022 - Springer
Many critical codebases are written in C, and most of them use preprocessor directives to
encode variability, effectively encoding software product lines. These preprocessor …

On the scalability of building binary decision diagrams for current feature models

T Heß, C Sundermann, T Thüm - … of the 25th ACM International Systems …, 2021 - dl.acm.org
Binary decision diagrams (BDD) have been proposed for numerous product-line analyses.
These analyses typically exploit properties unique to decision diagrams, such as negation in …

Variational data structures: Exploring tradeoffs in computing with variability

E Walkingshaw, C Kästner, M Erwig, S Apel… - Proceedings of the …, 2014 - dl.acm.org
Variation is everywhere, and in the construction and analysis of customizable software it is
paramount. In this context, there arises a need for variational data structures for efficiently …