3 papers
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…
cs.SE2019
Human-In-The-Loop Automatic Program Repair
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
We introduce Learn2fix, the first human-in-the-loop, semi-automatic repair technique when no bug oracle--except for the user who is reporting the bug--is available. Our approach ne…
cs.CR2018
Smart Greybox Fuzzing
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa +2
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, del…