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