A Detecting Method of Array Bounds Defects Based on Symbolic Execution. - Chun Shan; Shiyou Sun; Jingfeng Xue; Changzhen Hu; Hongjin Zhu (NSS, 2017)

Software Defect Prediction Model Based On KPCA-SVM. - Yan Zhou; Chun Shan; Shiyou Sun; Shengjun Wei; Sicong Zhang (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)