3 papers
cs.SE2025
Directed Grammar-Based Test Generation
Lukas Kirschner, Ezekiel Soremekun
To effectively test complex software, it is important to generate goal-specific inputs, i.e., inputs that achieve a specific testing goal. However, most state-of-the-art test gener…
cs.SE2022
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…
cs.SE2021
Locating Faults with Program Slicing: An Empirical Analysis
Ezekiel Soremekun, Lukas Kirschner, Marcel Böhme +1
Statistical fault localization is an easily deployed technique for quickly determining candidates for faulty code locations. If a human programmer has to search the fault beyond th…