Uniform random sampling product configurations of feature models that have numerical features
Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex
dependencies among features and find legal configurations. Often these analyses do not …
dependencies among features and find legal configurations. Often these analyses do not …
On the scalability of building binary decision diagrams for current feature models
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 …
These analyses typically exploit properties unique to decision diagrams, such as negation in …
Aroma: Automatic reproduction of maven artifacts
Modern software engineering establishes software supply chains and relies on tools and
libraries to improve productivity. However, reusing external software in a project presents a …
libraries to improve productivity. However, reusing external software in a project presents a …
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
The Linux kernel is highly-configurable, with a build system that takes a configuration file as
input and automatically tailors the source code accordingly. Configurability, however …
input and automatically tailors the source code accordingly. Configurability, however …
A BDD for Linux? the knowledge compilation challenge for variability
T Thüm - Proceedings of the 24th ACM Conference on Systems …, 2020 - dl.acm.org
What is the number of valid configurations for Linux? How to generate uniform random
samples for Linux? Can we create a binary decision diagram for Linux? It seems that the …
samples for Linux? Can we create a binary decision diagram for Linux? It seems that the …
Towards efficient analysis of variation in time and space
Variation is central to today's software development. There are two fundamental dimensions
to variation: Variation in time refers to the fact that software exists in numerous revisions that …
to variation: Variation in time refers to the fact that software exists in numerous revisions that …
Quantifying the variability mismatch between problem and solution space
M Hentze, C Sundermann, T Thüm… - Proceedings of the 25th …, 2022 - dl.acm.org
A software product line allows to derive individual software products based on a
configuration. As the number of configurations is an indicator for the general complexity of a …
configuration. As the number of configurations is an indicator for the general complexity of a …
Classifying edits to variability in source code
For highly configurable software systems, such as the Linux kernel, maintaining and
evolving variability information along changes to source code poses a major challenge …
evolving variability information along changes to source code poses a major challenge …
SugarC: scalable desugaring of real-world preprocessor usage into pure C
Variability-aware analysis is critical for ensuring the quality of configurable C software. An
important step toward the development of variability-aware analysis at scale is to transform …
important step toward the development of variability-aware analysis at scale is to transform …
Finding broken Linux configuration specifications by statically analyzing the Kconfig language
Highly-configurable software underpins much of our computing infrastructure. It enables
extensive reuse, but opens the door to broken configuration specifications. The configuration …
extensive reuse, but opens the door to broken configuration specifications. The configuration …