Constraint-guided Directed Greybox Fuzzing (conditional accept),
Gwangmu Lee, Woochul Shim, and Byoungyoung Lee,
USENIX Security Symposium (Security) 2021