基本介紹
- 中文名:謝曉園
- 學位/學歷:博士
- 職業:教師
- 專業方向:智慧型化軟體開發方法
- 主要成就:主持國家自然科學基金面上項目一項,獲2015年湖北省科技進步一等獎
- 任職院校:武漢大學
研究方向,學術成果,榮譽獎項,社會兼職,個人經歷,主講課程,
研究方向
主要研究方向:智慧型化軟體開發方法、軟體測試與調試、缺陷定位與修復、程式分析與切片、基於搜尋最佳化的軟體工程。
學術成果
發表多篇相關領域的論文書稿。其中以第一或通訊作者發表軟體工程領域頂級期刊TOSEM論文2篇、軟體工程頂級會議ICSE論文1篇、軟體工程知名國際期刊會議JSS、IST、QRS等論文多篇。
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.
榮譽獎項
獲國際會議QSIC最佳論文獎,SCI雜誌Bioinformatics高引用率獎,獲ACM SigEvo HUMIES 2017銀獎。
主持國家自然科學基金面上項目一項,獲2015年湖北省科技進步一等獎。
“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 雜誌高引用率獎
社會兼職
曾擔任軟體工程知名國際雜誌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等在內的多個國際知名雜誌審稿人及國際知名會議程式委員會成員。
個人經歷
Swinburne University of Technology,Australia,軟體工程,工學博士
南京東南大學,計算機軟體與理論,工學碩士
南京東南大學,計算機科學與技術,工學學士
澳大利亞Swinburne University of Technology軟體與電子工程學院 & Swinburne軟體新技術實驗室,Research Fellow
主講課程
軟體測試(研究生)
編譯原理(本科生,留學生)