18 citations · 35 across the 6 of their papers we have counts for
6 papers
Reproducible Automated Program Repair Is Hard -- Experiences With the Defects4J Dataset
Adam Krafczyk, Klaus Schmid
In the research of automated program repair (APR), benchmark datasets consisting of known defects in combination with test suites that indicate the defects are of high importance.…
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…
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…
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…
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…
An Empirical Study of Configuration Mismatches in Linux
Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid
Ideally the variability of a product line is represented completely and correctly by its variability model. However, in practice additional variability is often represented on the…