谢晓园 (武汉大学计算机学院 软件工程系 智能化软件与服务研究所 )
姓名： 谢晓园
主页：http://xiaoyuanxie.github.io/
性别：女
职称：教授 (博导,硕导)
学历学位：博士
电话：
办公地点：
E-mail：xxie ▇ whu.edu.cn 请手工替换符号
领域：软件工程
招生信息：2019年度招收硕士0名，招收方向：软件工程(学硕),计算机技术(专硕),电子与通信工程(专硕),软件工程(专硕)。 招收博士0名，招收方向：软件工程。

谢晓园，武汉大学计算机学院，博士，教授，武汉大学珞珈青年****。


主要研究方向：智能化软件开发方法、软件测试与调试、缺陷定位与修复、程序分析与切片、基于搜索优化的软件工程。
发表多篇相关领域的论文书稿。其中以第一或通讯作者发表软件工程领域顶级期刊TOSEM论文2篇、软件工程顶级会议ICSE论文1篇、软件工程知名国际期刊会议JSS、IST、QRS等论文多篇。获国际会议QSIC最佳论文奖，SCI杂志Bioinformatics高引用率奖，获ACM SigEvo HUMIES 2017银奖。
主持国家自然科学基金面上项目一项，获2015年湖北省科技进步一等奖。曾担任软件工程知名国际杂志Journal of Systems and Software专刊客座主编 (Special Issue Guest Editor)，国际会议SATE 2017、 IWPD 2016大会主席，国际会议ICST 2018、QSIC 2013宣传主席 (Publicity Chair)。此外，曾多次担任包括ACM Computing Survey、Journal of Systems and Software、Software Testing, Verification and Reliability等在内的多个国际知名杂志审稿人及国际知名会议程序委员会成员。
招收软件工程专业硕士、博士研究生，同时欢迎对科研有兴趣的本科生与我联系 (xxie at whu dot edu dot cn)
Swinburne University of Technology，Australia，软件工程，工学博士
南京东南大学，计算机软件与理论，工学硕士
南京东南大学，计算机科学与技术，工学学士


澳大利亚Swinburne University of Technology软件与电子工程学院 & Swinburne软件新技术实验室，Research Fellow


软件测试（研究生）
编译原理（本科生，留学生）
Selected publications
J. Tu, X. Xie(*), T.Y. Chen, B. Xu, On the Analysis of Spectrum Based Fault Localization Using Hitting Sets, accepted by Journal of Systems and Software (JSS).
S. Yoo (*), X. Xie (*), F-C. Kuo, T. Y. Chen, M. Harman, Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), 2017, 26(1), pp. 4:1-4:30.
X. Xie, Z. Liu, S. Song, Z. Chen, J. Xuan and B.W. Xu, Revisit of Automatic Debugging via Human Focus-tracking, International Conference on Software Engineering (ICSE), 2016, pp.808-819.
X. Xie(*), T. Y. Chen, F.-C. Kuo, B. W. Xu, A Theoretical Analysis of The Risk Evaluation Formulas for Spectrum-Based Fault Localization, ACM Transaction on Software Engineering and Methodology (TOSEM), 2013, Vol. 22, No. 4, pp. 31:1-31:40.
X. Xie(*), W. E. Wong, T. Y. Chen, B. W. Xu, Metamorphic Slice: An Application in Spectrum-Based Fault Localization, Information and Software Technology (IST), 2013, Vol.55, No. 5, pp. 866-879.
X. Xie (*), J.W.K. Ho, C.Murphy, G.Kaiser, B.W. Xu, and T.Y. Chen, Testing and Validating Machine Learning Classifiers by Metamorphic Testing, Journal of Systems and Software (JSS), 2011, 84(4), pp. 544-558.




“Human Competitiveness of Genetic Programming in Spectrum Based Fault Localisation: Theoretical and Empirical Analysis.” 获2017年ACM SIGEVO HUMIES银奖
“Application of Metamorphic Testing to Supervised Classifiers” 获2009 年International Conference on Quality Software最佳论文奖
“An Innovative Approach for Testing Bioinformatics Programs Using Metamorphic Testing” 获BMC Bioinformatics 杂志高引用率奖