Linear-time Temporal Logic guided Greybox Fuzzing

Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury

Abstract

Software model checking as well as runtime verification are verification techniques which are widely used for checking temporal properties of software systems. Even though they are property verification techniques, their common usage in practice is in "bug finding", that is, finding violations of temporal properties. Motivated by this observation and leveraging the recent progress in fuzzing, we build a greybox fuzzing framework to find violations of Linear-time Temporal Logic (LTL) properties.

BibTeX

@inproceedings{Meng-al:ICSE22,
  author    = {Ruijie Meng and
               Zhen Dong and
               Jialin Li and
               Ivan Beschastnikh and
               Abhik Roychoudhury},
  title     = {Linear-time Temporal Logic guided Greybox Fuzzing},
  booktitle = {ICSE},
  pages     = {1343--1355},
  publisher = {{ACM}},
  year      = {2022},
}

Linear-time Temporal Logic guided Greybox Fuzzing

Abstract

Related papers