Program state abstraction for feedback-driven fuzz testing using likely invariants

Andrea Fioraldi
[arXiv] [Google Scholar] [DBLP] [Citeseer]

arXiv 2012.11182 cs.SE
2020
Note(s): fuzz testing, invariants