Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM. - Yukun Dong; Wenjing Yin; Shudong Wang; Li Zhang 053; Lin Sun (IEEE Access, 2019)

Transmission Control of MPTCP Incast Based on Buffer Balance Factor Allocation in Data Center Networks. - Shanchen Pang; Jiamin Yao; Xun Wang 010; Tong Ding; Li Zhang 053 (IEEE Access, 2019)

Automatic Repair of Semantic Defects Using Restraint Mechanisms. - Yukun Dong; Li Zhang 053; Shanchen Pang; Hao Liu; Wenjing Yin; Mengying Wu; Meng Wu; Haojie Li (FCS, 2020)

Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects. - Yukun Dong; Mengying Wu; Shanchen Pang; Li Zhang 053; Wenjing Yin; Meng Wu; Haojie Li (Symmetry, 2020)

Priority Measurement of Patches for Program Repair Based on Semantic Distance. - Yukun Dong; Meng Wu; Li Zhang 053; Wenjing Yin; Mengying Wu; Haojie Li (Symmetry, 2020)

Automatic Repair of Semantic Defects Using Restraint Mechanisms. - Yukun Dong; Li Zhang 053; Shanchen Pang; Wenjing Yin; Mengying Wu; Meng Wu; Haojie Li (Symmetry, 2020)