张俞炜(1994-), 男, 博士, 助理研究员, CCF专业会员, 主要研究领域为软件测试, 智能化软件工程;邢颖(1978-), 女, 博士, 副教授, 博士生导师, CCF高级会员, 主要研究领域为软件测试, 人工智能的应用;李戈(1977-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为深度学习, 程序分析, 自然语言处理;金芝(1962-), 女, 博士, 教授, 博士生导师, CCF会士, 主要研究领域为需求工程, 知识工程, 软件工程
金芝, E-mail: zhijin@pku.edu.cn
TP311
国家自然科学基金(62072007, 62192733, 61832009, 62192731, 62192730)
张俞炜,邢颖,李戈,金芝.基于路径语义表示的静态警报自动确认方法.软件学报,2024,35(10):4662-4680
复制