王淑栋(1973-),女,山东青岛人,博士,教授,博士生导师,主要研究领域为生物计算,软件工程;尹文静(1995-),女,硕士生,CCF学生会员,主要研究领域为数据流分析,缺陷检测;董玉坤(1981-),男,博士,讲师,CCF专业会员,主要研究领域为缺陷检测,程序自动修复;张莉(1994-),女,硕士生,CCF学生会员,主要研究领域为程序自动修复,软件工程;刘浩(1992-),男,硕士生,主要研究领域为缺陷警报关联,数据流分析.
董玉坤,E-mail:dongyk@upc.edu.cn
中央高校基本科研业务费专项资金(19CX02028A);国家自然科学基金(61873281)
Fundamental Research Funds for the Central Universities (19CX02028A); National Natural Science Foundation of China (61873281)
王淑栋,尹文静,董玉坤,张莉,刘浩.面向顺序存储结构的数据流分析.软件学报,2020,31(5):1276-1293
复制