75 citations · 174 across the 8 of their papers we have counts for
8 papers · 1 filter
Formal Semantics of the CDL Language
Thorsten Berger, Steven She
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the…
Formal Semantics of the Kconfig Language
Steven She, Thorsten Berger
The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in…
Feature-Oriented Defect Prediction: Scenarios, Metrics, and Classifiers
Mukelabai Mukelabai, Stefan Strüder, Daniel Strüber +1
Several software defect prediction techniques have been developed over the past decades. These techniques predict defects at the granularity of typical software assets, such as com…
Seamless Variability Management With the Virtual Platform
Wardah Mahmood, Daniel Strüber, Thorsten Berger +2
Customization is a general trend in software engineering, demanding systems that support variable stakeholder requirements. Two opposing strategies are commonly used to create vari…
Asset Management in Machine Learning: A Survey
Samuel Idowu, Daniel Strüber, Thorsten Berger
Machine Learning (ML) techniques are becoming essential components of many software systems today, causing an increasing need to adapt traditional software engineering practices an…
ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel
Patrick Franz, Thorsten Berger, Ibrahim Fayaz +2
Highly configurable systems are highly complex systems, with the Linux kernel arguably being one of the most well-known ones. Since 2007, it has been a frequent target of the resea…