38 citations · 127 across the 21 of their papers we have counts for
22 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.…
User Driven Functionality Deletion for Mobile Apps
Maleknaz Nayebi, Konstantin Kuznetsov, Andreas Zeller +1
Evolving software with an increasing number of features is harder to understand and thus harder to use. Software release planning has been concerned with planning these additions.…
Systematic Assessment of Fuzzers using Mutation Analysis
Philipp Görz, Björn Mathis, Keno Hassler +4
Fuzzing is an important method to discover vulnerabilities in programs. Despite considerable progress in this area in the past years, measuring and comparing the effectiveness of f…
Electronic Appendix to "Input Invariants"
Dominic Steinhöfel, Andreas Zeller
In this electronic appendix to our paper "Input Invariants," accepted at ESEC/FSE'22, we provide additional examples, formal definitions, theorems, and proof sketches to complement…
Input Repair via Synthesis and Lightweight Error Feedback
Lukas Kirschner, Ezekiel Soremekun, Rahul Gopinath +1
Often times, input data may ostensibly conform to a given input format, but cannot be parsed by a conforming program, for instance, due to human error or data corruption. In such c…
FormatFuzzer: Effective Fuzzing of Binary File Formats
Rafael Dutra, Rahul Gopinath, Andreas Zeller
Effective fuzzing of programs that process structured binary inputs, such as multimedia files, is a challenging task, since those programs expect a very specific input format. Exis…