付昌兰(1990-), 女, 博士生, CCF学生会员, 主要研究领域为软件安全, 威胁建模, 软件工程方法与理论;张贺(1971-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为软件系统安全, 软件过程, 软件体系结构, 服务计算, 经验软件工程领域的科研和实践;李凤龙(1989-), 女, 硕士, 主要研究领域为网络安全, 云安全, 软件工程, 威胁建模;匡宏宇(1985-), 男, 博士, 助理研究员, CCF专业会员, 主要研究领域为软件可追踪性, 程序理解, 文本分析
张贺, E-mail: hezhang@nju.edu.cn
TP311
CCF-华为胡杨林基金-软件工程专项(CCF-HuaweiSE2021003); 国家自然科学基金(62072227, 62202219); 国家重点研发计划(2019YFE0105500); 江苏省重点研发计划(BE2021002-2); 南京大学计算机软件新技术国家重点实验室创新项目(ZZKT2022A25); 海外开放课题(KFKT2022A09)
付昌兰,张贺,李凤龙,匡宏宇.一种基于威胁模型的安全测试用例生成框架和工具.软件学报,2024,35(10):4573-4603
复制