most citedAn Empirical Study of Configuration Mismatches in Linux

18 citations · 68 across the 9 of their papers we have counts for

collaborators

9 papers

cs.SE20213 cited

Improving Software Engineering Research through Experimentation Workbenches

Klaus Schmid, Sascha El-Sharkawy, Christian Kröher

Experimentation with software prototypes plays a fundamental role in software engineering research. In contrast to many other scientific disciplines, however, explicit support for…

cs.SE202110 cited

KernelHaven -- An Open Infrastructure for Product Line Analysis

Christian Kröher, Sascha El-Sharkawy, Klaus Schmid

KernelHaven is an open infrastructure for Software Product Line (SPL) analysis. It is intended both as a production-quality analysis tool set as well as a research support tool, e.…

cs.SE20215 cited

MetricHaven -- More Than 23,000 Metrics for Measuring Quality Attributes of Software Product Lines

Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid

Variability-aware metrics are designed to measure qualitative aspects of software product lines. As we identified in a prior SLR \cite{El-SharkawyYamagishi-EichlerSchmid19}, there…

cs.SE20211 cited

Fast Static Analyses of Software Product Lines -- An Example With More Than 42,000 Metrics

Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid

Context: Software metrics, as one form of static analyses, is a commonly used approach in software engineering in order to understand the state of a software system, in particular…

cs.SE20213 cited

Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic

Adam Krafczyk, Sascha El-Sharkawy, Klaus Schmid

A number of SAT-based analysis concepts and tools for software product lines exist, that extract code dependencies in propositional logic from the source code assets of the product…

cs.SE20218 cited

Reverse Engineering Variability in an Industrial Product Line: Observations and Lessons Learned

Sascha El-Sharkawy, Dhar Saura Jyoti, Adam Krafczyk +3

Ideally, a variability model is a correct and complete representation of product line features and constraints among them. Together with a mapping between features and code, this e…