Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference.

Heqing Huang, Anshunkang Zhou, Mathias Payer, Charles Zhang

Browse the full SP paper archive.