CSEFuzz: Fuzz Testing Based on Symbolic Execution. - Zhangwei Xie; Zhanqi Cui; Jiaming Zhang 008; Xiulei Liu; Liwei Zheng (IEEE Access, 2020)