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 …

Variability-Aware Differencing with DiffDetective

PM Bittner, A Schultheiß, B Moosherr, T Kehrer… - … Proceedings of the …, 2024 - dl.acm.org
Diff tools are essential in developers' daily workflows and software engineering research.
Motivated by limitations of traditional line-based differencing, countless specialized diff tools …

On the Expressive Power of Languages for Static Variability

PM Bittner, A Schultheiß, B Moosherr… - Proceedings of the …, 2024 - dl.acm.org
Variability permeates software development to satisfy ever-changing requirements and
mass-customization needs. A prime example is the Linux kernel, which employs the C …

Views on Edits to Variational Software

PM Bittner, A Schultheiß, S Greiner… - Proceedings of the 27th …, 2023 - dl.acm.org
Software systems are subject to frequent changes, for example to fix bugs or meet new
customer requirements. In variational software systems, developers are confronted with the …

Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing

S Greiner, A Schultheiß, PM Bittner, T Thüm… - Proceedings of the 28th …, 2024 - dl.acm.org
Tracing features to software artifacts is a crucial yet challenging activity for developers of
variability-intensive software projects. Developers can provide feature traces either …

Explaining Edits to Variability Annotations in Evolving Software Product Lines

L Güthing, PM Bittner, I Schaefer, T Thüm - Proceedings of the 18th …, 2024 - dl.acm.org
Software is subject to changes and revisions during its development life cycle. For
configurable software systems, changes may be made to functionality of source code as well …

Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems

A Schultheiß, PM Bittner, S Greiner… - Proceedings of the 17th …, 2023 - dl.acm.org
Clone-and-own development is a simple and flexible approach to realize multi-variant
software systems in practice but typically provokes costly challenges in maintaining a …

Constructing variation diffs using tree diffing algorithms

B Moosherr - 2023 - oparu.uni-ulm.de
Changes to the artifacts, such as source code, of software product lines often affect a
multitude of variants. Variation diffs are a complete model for describing and analyzing …

[PDF][PDF] Reverse engineering feature-aware commits from software product-line repositories

L Bormann - 2023 - oparu.uni-ulm.de
Version control systems such as Git and Subversion are widely used. Even though software
often has to allow for variability, the commonly used version control systems do not provide …

[PDF][PDF] Extractive Multi-Software Product Line Engineering

K Rosiak - d-nb.info
Developing variant-rich systems utilizing methods from software product-line engineering
(SPLE) has become favored, as it offers strategies for systematic reuse of implementation …