个人简介
教育经历
2009.09-2013.06，武汉大学，计算机学院，信息安全，工学博士，指导老师：张焕国（教授）
2007.09-2009.06，武汉大学，计算机学院，计算机应用技术，工学硕士，指导老师：何炎祥（教授）
2002.09-2006.06，武汉大学，国际软件学院，软件工程，工学学士
主要职历
2015/12-至今， 华中农业大学，信息学院,计算机科学系，副教授
2014/07-2015/12，华中农业大学，信息学院,计算机科学系，讲师
2013/07-2014/06，华中农业大学，理学院, 计算机科学系，讲师
2012/08-2012/12，美国佐治亚理工学院，计算机科学系，研究助理，指导老师：Alessandro Orso （教授）
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
郭曦*,王盼. 基于依赖条件重构的程序符号值分析方法. 电子学报，2019,47（3）:630-635.
郭曦*,王盼. 程序状态条件合并中变量隐式关联分析方法. 计算机研究与发展, 2018, 55(10): 2331-2342.
郭曦*,王盼. 基于变量符号关联分析的程序状态优化方法. 通信学报，2018,39(6):81-88.
郭曦* ,王盼. 相关路径静态分析中协同式逆向推理方法. 软件学报,2015, 26(1):1-13.
郭曦*,王盼，王建勇，张焕国. 基于k近邻最弱前置条件的程序多路径验证方法. 计算机学报,2015,38(11):2203-2214.
郭曦*,王盼. 基于动态协同双向映射的相似执行路径生成方法. 电子学报, 2014, 42(11): 2168-2173.
郭曦,张焕国. 基于谓词抽象的测试用例约简生成方法. 通信学报,2012, 33(3): 35-43(+51).
京公网安备 11010802027423号