A Survey of Hybrid Fuzzing based on Symbolic Execution. - Tao Zhang 079; Yu Jiang; Runsheng Guo 001; Xiaoran Zheng; Hui Lu 005 (CIAT, 2020)