开设课程

本科生课程：

《Concepts of Computer Programming Languages》

《Software Engineering》

《Comprehensive Experiment of Software Engineering》

《Software Construction》

研究生课程：

《Software Methodology — Model Driven Software Development》

科研成果

论文：

• [TSE 2020] Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, and Xuandong Li. GUI-Guided Test Script Repair for Mobile Apps. IEEE Transactions on Software Engineering,to appear.

• [ISSTA 2020] Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li. Reinforcement Learning Based Curiosity-driven Testing of Android Applications. InProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,to appear.

• [TSE 2020] Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia. RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Transactions on Software Engineering,to appear.

• [ICPC 2020] Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, and Xuandong Li. Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. InProceedings of the 28th IEEE/ACM International Conference on Program Comprehension,to appear.

• [JSS 2020] Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang and Xuandong Li. Enhancing Example-Based Code Search with Functional Semantics. Journal of Systems and Software, Volume 165, 2020, Article 110568. [link]

• [JSS 2020] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li. Effective Testing of Android Apps Using Extended IFML Models. Journal of Systems and Software, Volume 159, 2020, Article 110433. [link]

• [ESEC/FSE 2019] Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li. Preference-Wise Testing for Android Applications. InProceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 268-278. August 26–30, 2019, Tallinn, Estonia. [acceptance rate: 74/303=24.4%] [link]

• [COMPSAC 2019] Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan and Tian Zhang. Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. InProceedings of the 43rd IEEE International Conference on Computers, Software & Applications, pp. 149-158. July 15-19, 2019, Milwaukee, Wisconsin, USA. [link]

• [ICSE 2019] Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, and Xuandong Li. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. InProceedings of the 41st International Conference on Software Engineering, pp. 212-222. May 25-31, 2019, Montréal, QC, Canada. [acceptance rate: 105/502=20.9%] [link]

• [SoSyM 2019] Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, and Chang-Jun Hu. Template-based model generation. Software & Systems Modeling (2019), Volume 18, Issue 3, pp. 2051–2092. [link]

• [SCAM 2018] Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan and Tian Zhang. Semantics-Based Code Search Using Input/Output Examples. InProceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 92-102. September 23-24, 2018, Madrid, Spain. [link]

• [ICST 2018] Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue and Xuandong Li. Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. InProceedings of the IEEE 11th International Conference on Software Testing, Verification and Validation, pp. 204–214. April 9-13, 2018, Västerås, Sweden. [link]