High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM.

Yuyou Fan, John Regehr

Browse the full CGO paper archive.