Minxue Pan

Associate Professor
Software Institute
State Key Laboratory for Novel Software Technology
Nanjing University, China
mxpnju.edu.cn



Focusing on the dependability of complex software systems, my research interests include software modelling and verification, software analysis and testing, cyber-physical systems, mobile computing, and intelligent software engineering. I obtained my Ph.D. degree in Computer Science and Technology from Nanjing University in 2014 (supervisor Prof. Xuandong Li). Before that, I obtained my B.Sc. degree, also from Nanjing University. Between 2009 and 2010, I studied in the Department of Electrical Engineering and Computer Sciences at UC Berkeley (supervisor Prof. Edward A. Lee).

Latest News

  • I am looking for motivated graduate students. Both master and Ph.D. students are welcome. Please send me emails with your CV if you are interested in making dependable and intelligent software systems.

  • June 23, 2020: One paper accepted by the IEEE Transactions on Software Engineering (TSE).

  • June 8, 2020: Our ISSTA'20 paper has won the ACM SIGSOFT Distinguished Paper Award!

  • May 20, 2020: One paper accepted to ESEC/FSE 2020.

  • April 16, 2020: One paper accepted to ISSTA 2020.

  • April 8, 2020: One paper accepted by the IEEE Transactions on Software Engineering (TSE).

  • March 3, 2020: One paper accepted to ICPC 2020.

  • March 2, 2020: One paper accepted by the Journal of Systems and Software (JSS).

  • December 9, 2019: One paper accepted to ICSE 2020.


Recent Selected Publications (More in Google Scholar and DBLP)

  • [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, early access. [link] [pdf]

  • [ESEC/FSE 2020] Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang. C2S: Translating Natural Language Comments to Formal Program Specifications. In Proceedings of the 28th ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 25-37. November 8–13, 2020, Virtual Event, USA. [acceptance rate: 101/360=28%] [pdf]

  • [ISSTA 2020] Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li. Reinforcement Learning Based Curiosity-driven Testing of Android Applications. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 153-164. July 18–22, 2020, Virtual Event, USA. [acceptance rate: 74/303=24.4%][link] [pdf]

  • [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, early access. [link] [pdf]

  • [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. In Proceedings of the 28th IEEE/ACM International Conference on Program Comprehension, pp. 106-116. July 13-15, 2020, Virtual Event, Republic of Korea. [link] [pdf]

  • [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] [pdf]

  • [ICSE 2020] Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang. CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis. In Proceedings of the 42st International Conference on Software Engineering, pp. 1359-1371. July 6-11, 2020, Virtual Event, Republic of Korea. [acceptance rate: 129/617=20.9%] [link] [pdf]

  • [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] [pdf]

  • [ESEC/FSE 2019] Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li. Preference-Wise Testing for Android Applications. In Proceedings 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] [pdf]

  • [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. In Proceedings of the 43rd IEEE International Conference on Computers, Software & Applications, pp. 149-158. July 15-19, 2019, Milwaukee, Wisconsin, USA. [link] [pdf]

  • [ICSE 2019] Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, and Xuandong Li. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. In Proceedings 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] [pdf]

  • [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]

  • [ASE 2018] Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao. Dual-force: understanding WebView malware via cross-language forced execution. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 714-725. September 3-7, 2018, Montpellier, France. [acceptance rate: 83/346=23.9%] [link] [pdf]

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

  • [TOIT 2018] Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu. Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Transactions on Internet Technology (2018), Volume 18 Issue 2, Article No. 20. [link] [pdf]

  • [JSS 2018] Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu. Efficient validation of self-adaptive applications by counterexample probability maximization. Journal of Systems and Software (2018), Volume 138, pp. 82-99. [link] [pdf]

  • [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. In Proceedings of the IEEE 11th International Conference on Software Testing, Verification and Validation, pp. 204–214. April 9-13, 2018, Västerås, Sweden. [link] [pdf]


Teaching

  • Advanced Programming with C++. Undergraduate compulsory course.

  • Software System Design. Undergraduate compulsory course.

  • Advanced Software Design. Graduate optional course.
Visit Moodle for course materials.

Tools and Codes

  • Q-testing is an automated testing tool for Android applications. It uses a reinforcement-learning based curiosity-driven strategy to explore the state space of the application under test.

  • ISDChecker model checks interrupt-driven systems. It adopts our modelling language interrupt sequence diagrams to model the systems, and checks for both temporal and timing related problems.

  • PREFEST performs preference-wise testing on Android apps. It can improve the test coverage by considering different preference option combinations and detect more preference related bugs.

  • Sketchoid searches the desired Android app GUI code in app repositories, using simple hand-drawn GUI designs.

  • PI-REC. If you want to have some nice pictures or icons for your apps or tools but are not so perfect in drawing, try our PI-REC. It can turn hand-drawn drafts into beautiful and realistic paintings.

  • TASS is a timing analyzer of scenario-based specifications. It is no longer maintained; however, we are working actively to incorporate TASS and ISDChecker into a model checking framework.