TY - RPRT TI - Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants AU - Andrea Fioraldi PY - 2020 UR - https://arxiv.org/abs/2012.11182 ID - 2012.11182 ER -