刘斌斌(1992-),男,吉林公主岭人,博士生,CCF学生会员,主要研究领域为数据驱动软件工程,高可信软件技术;王戟(1969-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为高可信软件,形式化方法,分布计算;董威(1976-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为软件分析与验证,软件度量与评估
董威,E-mail:wdong@nudt.edu.cn
国家自然科学基金(61690203,61532007);国家重点基础研究发展计划(973)(2014CB340703)
National Natural Science Foundation of China (61690203, 61532007); National Program on Key Basic Research Project of China (973) (2014CB340703)
刘斌斌,董威,王戟.智能化的程序搜索与构造方法综述.软件学报,2018,29(8):2180-2197
复制