Targeted greybox fuzzing with static lookahead analysis

Full text DOI 10.1145/3377811.3380388 dblp

Abstract

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.

BibTeX

@inproceedings{Wuestholz-Christakis:ICSE20,
  author    = {Valentin W{\"{u}}stholz and
               Maria Christakis},
  title     = {Targeted greybox fuzzing with static lookahead analysis},
  booktitle = {ICSE},
  pages     = {789--800},
  publisher = {{ACM}},
  year      = {2020},
}

Targeted greybox fuzzing with static lookahead analysis

Abstract

Related papers