王颖(1996-),女,硕士,CCF学生会员,主要研究领域为软件安全验证,模糊测试.
李晓娟(1968-),女,博士,教授,博士生导师,CCF专业会员,主要研究领域为嵌入式系统形式建模与验证,网络协议分析.
王冰青(1997-),女,硕士,CCF学生会员,主要研究领域为软件安全验证,模糊测试.
王瑞(1981-),女,博士,教授,博士生导师,CCF专业会员,主要研究领域为形式化方法,软件安全验证.
关永(1966-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为形式化验证,高可靠嵌入式系统,机器人.
关永,guanyong@cnuedu.cn
国家重点研发计划(2019YFB1309900);国家自然科学基金(61877040);首都师范大学交叉研究院项目(19530012005);上海控安开放课题
National Key R & D Plan of China (2019YFB1309900); National Natural Science Foundation of China (61877040); Cross Research Institute of Capital Normal University (19530012005); Shanghai Security Open Project
王颖,王冰青,关永,李晓娟,王瑞.面向ROS的差分模糊测试方法.软件学报,2021,32(6):1867-1881
复制