29 citations · 56 across the 11 of their papers we have counts for
12 papers
Tests4Py: A Benchmark for System Testing
Marius Smytzek, Martin Eberlein, Batuhan Serce +2
Benchmarks are among the main drivers of progress in software engineering research. However, many current benchmarks are limited by inadequate system oracles and sparse unit tests.…
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues +1
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop…
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova +16
Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introdu…
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
Hoang Lam Nguyen, Lars Grunske
A popular metric to evaluate the performance of fuzzers is branch coverage. However, we argue that focusing solely on covering many different branches (i.e., the richness) is not s…
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods i…
Towards a Benchmark Set for Program Repair Based on Partial Fixes
Dirk Beyer, Lars Grunske, Thomas Lemberger +1
Software bugs significantly contribute to software cost and increase the risk of system malfunctioning. In recent years, many automated program-repair approaches have been proposed…