陆申明(1994-),男,浙江杭州人,硕士生,主要研究领域为程序分析;左志强(1986-),男,博士,助理研究员,CCF专业会员,主要研究领域为系统软件,软件工程,程序语言,大数据系统;王林章(1973-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为模型驱动的软件测试与验证,安全测试,软件测试自动化.
左志强,E-mail:zqzuo@nju.edu.cn;王林章,E-mail:lzwang@nju.edu.cn
国家自然科学基金(61802168);江苏省自然科学基金(BK20191247)
National Natural Science Foundation of China (61802168); Natural Science Foundation of Jiangsu Province (BK20191247)
陆申明,左志强,王林章.静态程序分析并行化研究进展.软件学报,2020,31(5):1243-1254
复制