Minxue Pan潘敏学

Latest News

• Two papers accepted by FSE 2026 CCF-A
• Two papers accepted by ICSE 2026 CCF-A
• One paper accepted by TOSEM 2026 CCF-A
• One paper accepted by TDSC 2026 CCF-A

Selected Publications More on Google Scholar · DBLP

1. FSE 2026CCF-A
   TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts Shaoheng Cao, Minxue Pan, Xuandong Li. ACM International Conference on the Foundations of Software Engineering (FSE 2026), forthcoming.
2. FSE 2026CCF-A
   Automating Dockerfile Refactoring to Multi-Stage Builds Dongjin Chen, Wenhua Yang, Minxue Pan, Yu Zhou. ACM International Conference on the Foundations of Software Engineering (FSE 2026), forthcoming.
3. ICSE 2026CCF-A
   Filtering before Tuning: Robust Fine-Tuning of Large Code Models under Noisy Labels Zhong Li, Yang Chen, Heng Yong, Yuanyi Lin, Jiali Zhao, Tongtong Xu, Minxue Pan, Tian Zhang, Xuandong Li. International Conference on Software Engineering (ICSE 2026), forthcoming.
4. ICSE 2026CCF-A
   Learning without Forgetting: Towards Continual Learning of Fault Localization Models in Industrial Software Systems Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li. International Conference on Software Engineering (ICSE 2026), forthcoming.
5. FMSD 2026CCF-B
   Verifying hybrid automata networks guided by task scenarios Longlong Lu, Yufei Shi, Minxue Pan, Xuandong Li. Formal Methods in System Design, 68, Article 5, 2026. [link]
6. TDSC 2026CCF-A
   Trap: Mitigating Poisoning-Based Backdoor Attacks by Treating Poison With Poison Chun Li, Zhong Li, Minxue Pan, Xuandong Li. IEEE Transactions on Dependable and Secure Computing, vol. 23, no. 2, pp. 4269–4283, 2026. [link]
7. TOSEM 2026CCF-A
   A Study of Floating-Point Precision Tuning in Deep Learning Operators Implementations Zhongzhen Wen, Hongyu Liu, Tingwei Zhu, Minxue Pan, Shaohua Wang, Yuanyi Lin, Kairui Liu, Tian Zhang, Xuandong Li. ACM Transactions on Software Engineering and Methodology, just accepted. [link]
8. ASE 2025CCF-A
   NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android Apps Yuanhong Lan, Shaoheng Cao, Yifei Lu, Minxue Pan, Xuandong Li. IEEE/ACM International Conference on Automated Software Engineering (ASE 2025), Seoul, South Korea, pp. 1390-1402. [link]
9. ASE 2025CCF-A
   PoliCond: Condition-Aware Ontology-Driven LLMs for Privacy Policy Analysis Yalin Feng, Yifei Lu, Minxue Pan. IEEE/ACM International Conference on Automated Software Engineering (ASE 2025), Seoul, South Korea, pp. 2821–2833. [link]
10. ASE 2025CCF-A
    Understanding Feature Request Practice on GitHub via a Large-Scale Empirical Study Jiajun Li, Wenhua Yang, Minxue Pan, Yu Zhou. IEEE/ACM International Conference on Automated Software Engineering (ASE 2025), Seoul, South Korea, pp. 2783–2794. [link]
11. RTSS 2025CCF-A
    Accelerating Timing Specification Verification of Interrupt-driven Real-time Systems Yufei Shi, Longlong Lu, Minxue Pan, Xuandong Li. IEEE Real-Time Systems Symposium (RTSS 2025), Boston, MA, USA, pp. 351-367. [link]
12. OOPSLA 2025CCF-A
    Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li. Proc. ACM on Programming Languages, 9(OOPSLA2), pp. 1698–1725, 2025. [link]
13. TOSEM 2025CCF-A
    Improving Test Efficacy for Large-Scale Android Applications by Exploiting GUI and Functional Equivalence Yifei Lu, Minxue Pan, Haochuan Lu, Yuetang Deng, Tian Zhang, Linzhang Wang, Xuandong Li. ACM Transactions on Software Engineering and Methodology, 35(1), Article 20, 50 pages. [link]
14. FSE 2025CCF-A
    Improving Graph Learning-Based Fault Localization with Tailored Semi-Supervised Learning Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li. Proc. ACM on Software Engineering, 2(FSE), Article FSE069, 23 pages. [link]
15. FSE 2025CCF-A
    A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings Shaoheng Cao, Renyi Chen, Wenhua Yang, Minxue Pan, Xuandong Li. Proc. ACM on Software Engineering, 2(FSE), Article FSE070, 22 pages. [link]
16. ISSTA 2025CCF-A
    Intention-based GUI Test Migration for Mobile Apps using Large Language Models Shaoheng Cao, Minxue Pan, Yuanhong Lan, Xuandong Li. Proc. ACM on Software Engineering, 2(ISSTA), Article ISSTA101, 23 pages. [link]
17. TCAD 2025CCF-A
    Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection Longlong Lu, Minxue Pan, Yifei Lu, Xuandong Li. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025. [link]
18. ICSE 2025CCF-A
    GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li. 47th International Conference on Software Engineering, Ottawa, ON, Canada, pp. 2867–2879. [link]
19. ICSE 2025CCF-A
    PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps Best Artifact Award Menglong Chen, Tian Tan, Minxue Pan, Yue Li. 47th International Conference on Software Engineering, Ottawa, ON, Canada, pp. 2803–2815. [link]
20. ICSE 2025CCF-A
    Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li. 47th International Conference on Software Engineering, Ottawa, ON, Canada, pp. 691–703. [link]
21. ASE 2024CCF-A
    DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation Xinran Yu, Chun Li, Minxue Pan, Xuandong Li. 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, pp. 681–693. [link]
22. ASE 2024CCF-A
    Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang, Xuandong Li. 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, pp. 91–103. [link]
23. ASE 2024CCF-A
    Prioritizing Test Inputs for DNNs Using Training Dynamics Jian Shen, Zhong Li, Minxue Pan, Xuandong Li. 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, pp. 1219–1231. [link]
24. ASE 2024CCF-A
    AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang, Xuandong Li. 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, pp. 1245–1257. [link]
25. ASE 2024CCF-A
    Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li. 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, pp. 944–956. [link]
26. ISSTA 2024CCF-A
    Distance-Aware Test Input Selection for Deep Neural Networks Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li. 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 248–260. [link]
27. ISSTA 2024CCF-A
    Silent Taint-Style Vulnerability Fixes Identification Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li. 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 428–439. [link]
28. ISSTA 2024CCF-A
    BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan. 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 856–868. [link]
29. ICSME 2024CCF-B
    Precos: Project-specific Retrieval for Better Code Summarization Tingwei Zhu, Zhong Li, Tian Zhang, Minxue Pan, Xuandong Li. 40th International Conference on Software Maintenance and Evolution, pp. 487–498. [link]
30. ICSME 2024CCF-B
    Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information Zhongzhen Wen, Yifei Lu, Tongtong Xu, Minxue Pan, Tian Zhang, Xuandong Li. 40th International Conference on Software Maintenance and Evolution, pp. 75–86. [link]
31. OOPSLA 2024CCF-A
    Understanding and Finding Java Decompiler Bugs Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su. Proceedings of the ACM on Programming Languages, 8, OOPSLA, Article 143, 27 pages. [link]
32. ASEJ 2024CCF-B
    Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks Jian Shen, Zhong Li, Yifei Lu, Minxue Pan, Xuandong Li. Automated Software Engineering 31, 33 (2024). [link]
33. JSEP 2024CCF-B
    Richen: Automated enrichment of Git documentation with usage examples and scenarios Chaochao Shen, Wenhua Yang, Haitao Jia, Minxue Pan, Yu Zhou. Journal of Software: Evolution and Process, 2024;e2662. [link]
34. ICSE 2024CCF-A
    Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li. 46th International Conference on Software Engineering, Article 90, 1–13. [link]
35. ICSE 2024CCF-A
    Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li. 46th International Conference on Software Engineering, Article 71, 1–13. [link]
36. TOSEM 2024CCF-A
    Deep is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li. ACM Transactions on Software Engineering and Methodology, 33, 3, Article 67, 37 pages. [link]
37. ASE 2023CCF-A
    Vision-based Widget Mapping for Test Migration across Mobile Platforms: Are We There Yet? Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen, Minxue Pan, Tian Zhang. 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, pp. 1416–1428. [link]
38. ASE 2023CCF-A
    Understanding and Enhancing Issue Prioritization in GitHub Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, Yu Zhou. 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, pp. 813–824. [link]
39. ASE 2023CCF-A
    VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning Pengcheng Liu, Yifei Lu, Wenhua Yang, Minxue Pan. 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, pp. 1940–1951. [link]
40. FSE 2023CCF-A
    Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts Wenhua Yang, Chong Zhang, Minxue Pan. 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1444–1456. [link]
41. IST 2023CCF-B
    Git command recommendations using crowd-sourced knowledge Haitao Jia, Wenhua Yang, Chaochao Shen, Minxue Pan, Yu Zhou. Information and Software Technology, Volume 159, 2023, 107199. [link]
42. TRel 2023
    Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang. IEEE Transactions on Reliability, vol. 72, no. 1, pp. 289–301, March 2023. [link]
43. ASE 2022CCF-A
    Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li. 37th IEEE/ACM International Conference on Automated Software Engineering, Article 86, 1–13, 2022. [link]
44. ISSTA 2022CCF-A
    Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li. 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 642–653, July 2022. [link]
45. TSE 2022CCF-A
    Program Repair with Repeated Learning Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia. IEEE Transactions on Software Engineering, vol. 49, no. 2, pp. 831–848. [link]
46. TOSEM 2022CCF-A
    Preference-Wise Testing of Android Apps via Test Amplification Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li. ACM Transactions on Software Engineering and Methodology, 32, 1, Article 4, 37 pages. [link]
47. SoSyM 2022CCF-B
    Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li. Software and Systems Modeling, 21, 1321–1338, 2022. [link]
48. TOSEM 2021CCF-A
    Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, Zhiqiu Huang. ACM Transactions on Software Engineering and Methodology, 31, 3, Article 44, 29 pages. [link]
49. ISSTA 2021CCF-A
    GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li. 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 191–203, July 2021, Virtual, Denmark. [link]
50. ICML 2021CCF-A
    Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li. 38th International Conference on Machine Learning, PMLR 139: 6471–6482, 2021. [link]
51. STVR 2021CCF-B
    Documentation-based Functional Constraint Generation for Library Methods Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li. Software: Testing, Verification and Reliability, 2021;e1785. [link]
52. IST 2020CCF-B
    Developer portraying: A quick approach to understanding developers on OSS platforms Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang. Information and Software Technology, Volume 125, 2020, 106336. [link]
53. TSE 2020CCF-A
    GUI-Guided Test Script Repair for Mobile Apps Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li. IEEE Transactions on Software Engineering, vol. 48, no. 3, pp. 910–929. [link]
54. FSE 2020CCF-A
    C2S: Translating Natural Language Comments to Formal Program Specifications Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang. 28th ACM Joint Meeting on the Foundations of Software Engineering, pp. 25–37, Nov 2020, Virtual, USA. [link]
55. ISSTA 2020CCF-A
    Reinforcement Learning Based Curiosity-driven Testing of Android Applications Distinguished Paper Award Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li. 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 153–164, July 2020, Virtual, USA. [link]
56. TSE 2020CCF-A
    RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia. IEEE Transactions on Software Engineering, vol. 48, no. 1, pp. 309–326. [link]
57. ICPC 2020CCF-B
    Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li. 28th IEEE/ACM International Conference on Program Comprehension, pp. 106–116, July 2020, Virtual, Republic of Korea. [link]
58. JSS 2020CCF-B
    Enhancing Example-Based Code Search with Functional Semantics Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li. Journal of Systems and Software, Volume 165, 2020, Article 110568. [link]
59. ICSE 2020CCF-A
    CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang. 42nd International Conference on Software Engineering, pp. 1359–1371, July 2020, Virtual, Republic of Korea. [link]
60. JSS 2020CCF-B
    Effective Testing of Android Apps Using Extended IFML Models Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li. Journal of Systems and Software, Volume 159, 2020, Article 110433. [link]
61. FSE 2019CCF-A
    Preference-Wise Testing for Android Applications Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 268–278, Aug 2019, Tallinn, Estonia. [link]
62. ICSE 2019CCF-A
    Easy modelling and verification of unpredictable and preemptive interrupt-driven systems Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li. 41st International Conference on Software Engineering, pp. 212–222, May 2019, Montréal, QC, Canada. [link]
63. SoSyM 2019CCF-B
    Template-based model generation Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Chang-Jun Hu. Software & Systems Modeling (2019), Volume 18, Issue 3, pp. 2051–2092. [link]
64. ASE 2018CCF-A
    Dual-force: understanding WebView malware via cross-language forced execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao. 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 714–725, Sep 2018, Montpellier, France. [link]
65. SCAM 2018CCF-C
    Semantics-Based Code Search Using Input/Output Examples Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang. 18th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 92–102, Sep 2018, Madrid, Spain. [link]
66. TOIT 2018CCF-B
    Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu. ACM Transactions on Internet Technology (2018), Volume 18, Issue 2, Article 20. [link]
67. JSS 2018CCF-B
    Efficient validation of self-adaptive applications by counterexample probability maximization Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu. Journal of Systems and Software (2018), Volume 138, pp. 82–99. [link]
68. ICST 2018CCF-B
    Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li. IEEE 11th International Conference on Software Testing, Verification and Validation, pp. 204–214, April 2018, Västerås, Sweden. [link]

Teaching

Recent Professional Service