“Constraint-guided Directed Greybox Fuzzing” has been accepted to USENIX Security 2021.