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.
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
Association for Computing Machinery
New York, NY, USA
Pages 70-76
January 2020
Note(s): fuzz testing, symbolic execution, SAGE verifier, survey