Targeted greybox fuzzing with static lookahead analysis
Valentin Wüstholz, Maria Christakis · 2020
Automatic test generation typically aims to generate inputs that explore new paths in the program under test in order to find bugs. Existing work has, therefore, focused on guiding the exploration toward program parts that are more likely to contain bugs by using an offline static analysis.