Fuzzing: Hack, art, and science

Patrice Godefroid
[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Read: 27 June 2020

Communications of the ACM 63(2)
Association for Computing Machinery
New York, NY, USA
Pages 70-76
January 2020
Note(s): fuzz testing, symbolic execution, SAGE verifier, survey

Nice overview article that describes whitebox fuzzing such as the SAGE verifier in the context of blackbox fuzzing, blackbox fuzzing, greybox fuzzing, hybrid fuzzing, test generation, security analysis, etc.

Fuzz testing, SAGE verifier