司徒凌云(1988-),男,江苏南京人,博士生,CCF学生会员,主要研究领域为软件工程,软件安全;王林章(1973-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为模型驱动的软件测试与验证,安全测试,软件测试自动化;李宣东(1963-),男,博士,教授,博士生导师,CCF会士,主要研究领域为软件工程,软件建模与分析,软件测试与验证;刘杨(1981-),男,博士,副教授,博士生导师,主要研究领域为形式化方法,软件工程,软件安全.
李宣东,E-mail:lxd@nju.edu.cn
国家重点研发计划(2016YFB1000802);国家自然科学基金(61632015,61472179,61572249,61561146394);南京大学博士研究生创新创意项目(2016014)
National Key Research and Development Program of China (2016YFB1000802); National Natural Science Foundation of China (61632015, 61472179, 61572249, 61561146394); Nanjing University Innovation and Creative Program for the Ph.D. candidate (2016014)
司徒凌云,王林章,李宣东,刘杨.基于应用视角的缓冲区溢出检测技术与工具.软件学报,2019,30(6):1721-1741
复制