Tseitin or not tseitin? the impact of cnf transformations on feature-model analyses
Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …
systems and their dependencies. By translating feature models into propositional formulas …
Variability-Aware Differencing with DiffDetective
Diff tools are essential in developers' daily workflows and software engineering research.
Motivated by limitations of traditional line-based differencing, countless specialized diff tools …
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 …
mass-customization needs. A prime example is the Linux kernel, which employs the C …
Views on Edits to Variational Software
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 …
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
Tracing features to software artifacts is a crucial yet challenging activity for developers of
variability-intensive software projects. Developers can provide feature traces either …
variability-intensive software projects. Developers can provide feature traces either …
Explaining Edits to Variability Annotations in Evolving Software Product Lines
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 …
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
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 …
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 …
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 …
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 …
(SPLE) has become favored, as it offers strategies for systematic reuse of implementation …