The National Natural Science Foundation of China (General Program, Key Program, Major Research Plan)
王淑栋,刘浩,董玉坤,等. 基于符号表达式的程序语义缺陷警报关联识别方法[J]. 科学技术与工程, 2020, 20(9): 3648-3655.
Wang Shudong, Liu Hao, Dong Yukun, et al. A Correlation Recognition Method of Program Semantic Defect Warnings Based on Symbolic Expression[J]. Science Technology and Engineering,2020,20(9):3648-3655.