谢肖飞(1989-),男,山西运城人,博士,主要研究领域为程序分析、测试,形式化验证;孟国柱(1987-),男,博士,副研究员,CCF专业会员,主要研究领域为软件与系统安全;李晓红(1965-),女,博士,教授,博士生导师,CCF高级会员,主要研究领域为安全软件工程,可信软件,信息安全;刘杨(1982-),男,博士,副教授,主要研究领域为Formal Methods,Security,Software Engineering,Multi-agent Systems;陈翔(1980-),男,博士,副教授,CCF高级会员,主要研究领域为软件缺陷预测,软件缺陷定位,回归测试,组合测试.
李晓红,E-mail:xiaohongli@tju.edu.cn
国家自然科学基金(61572349,61272106)
National Natural Science Foundation of China (61572349, 61272106)
谢肖飞,李晓红,陈翔,孟国柱,刘杨.基于符号执行与模糊测试的混合测试方法.软件学报,2019,30(10):3071-3089
复制