Insu Yun: Concolic Execution Tailored for Hybrid Fuzzing. Georgia Institute of Technology, Atlanta, GA, USA 2021