Patch-Related Vulnerability Detection Based on Symbolic Execution. - Weizhong Qiang; Yuehua Liao; Guozhong Sun; Laurence T. Yang; Deqing Zou; Hai Jin 001 (IEEE Access, 2017)