Predicting buffer overflow using semi-supervised learning. - Qingkun Meng; Shameng Wen; Chao Feng 002; Chaojing Tang (CISP-BMEI, 2016)

Testing Network Protocol Binary Software with Selective Symbolic Execution. - Shameng Wen; Chao Feng 002; Qingkun Meng; Bin Zhang; Ligeng Wu; Chaojing Tang (CIS, 2016)

Analyzing network protocol binary software with joint symbolic execution. - Shameng Wen; Chao Feng 002; Qingkun Meng; Bin Zhang; Ligeng Wu; Chaojing Tang (ICSAI, 2016)