Miscellaneous [ISSTA'11] Statically-Directed Dynamic Automated Test Generation [paper] [SEC'13] Dowsing for overflows: A guided fuzzer to find buffer boundary violations [paper] [ASPLOS'15] Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement [paper] [PLDI'19] Parser-Directed Fuzzing [paper] [project] [video]