[TOSEM 2025] Yifei Lu, Minxue Pan, Haochuan Lu, Yuetang Deng, Tian Zhang, Linzhang Wang, and Xuandong Li. Improving Test Efficacy for Large-Scale Android Applications by Exploiting GUI and Functional Equivalence. ACM Transactions on Software Engineering and Methodology. [link]

[FSE 2025] Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li. Improving Graph Learning-Based Fault Localization with Tailored Semi-Supervised Learning. In ACM International Conference on the Foundations of Software Engineering (FSE 2025), Trondheim, Norway, 2025, forthcoming.

[FSE 2025] Shaoheng Cao, Renyi Chen, Wenhua Yang, Minxue Pan, Xuandong Li. A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings. In ACM International Conference on the Foundations of Software Engineering (FSE 2025), Trondheim, Norway, 2025, forthcoming.

[ISSTA 2025] Shaoheng Cao, Minxue Pan, Yuanhong Lan, Xuandong Li. Intention-based GUI Test Migration for Mobile Apps using Large Language Models. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025), Trondheim, Norway, 2025, forthcoming.

[TCAD 2025] Longlong Lu, Minxue Pan, Yifei Lu, Xuandong Li. Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Early Access. [link]

[ICSE 2025] Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li. GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. In Proceedings of the 47th International Conference on Software Engineering, Ottawa, ON, Canada, 2025, forthcoming.

[ICSE 2025 (Best Artifact Award)] Menglong Chen, Tian Tan, Minxue Pan, Yue Li. PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps. In Proceedings of the 47th International Conference on Software Engineering, Ottawa, ON, Canada, 2025, forthcoming.

[ICSE 2025] Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li. Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning. In Proceedings of the 47th International Conference on Software Engineering, Ottawa, ON, Canada, 2025, forthcoming.

[ASE 2024] Xinran Yu, Chun Li, Minxue Pan, Xuandong Li. DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, California, United States, pp. 681–693.[link]

[ASE 2024] Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang, Xuandong Li. Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, California, United States, pp. 91–103.[link]

[ASE 2024] Jian Shen, Zhong Li, Minxue Pan, Xuandong Li. Prioritizing Test Inputs for DNNs Using Training Dynamics. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, California, United States, pp. 1219–1231.[link]

[ASE 2024] Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang, Xuandong Li. AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, California, United States, pp. 1245–1257.[link]

[ASE 2024] Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li. Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, California, United States, pp. 944–956.[link]

[ISSTA 2024] Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li. Distance-Aware Test Input Selection for Deep Neural Networks. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 248–260.[link]

[ISSTA 2024] Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li. Silent Taint-Style Vulnerability Fixes Identification. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 428–439.[link]

[ISSTA 2024] Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan. BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, pp. 856–868.[link]

[ICSME 2024] Tingwei Zhu, Zhong Li, Tian Zhang, Minxue Pan, Xuandong Li. Precos: Project-specific Retrieval for Better Code Summarization. In Proceedings of the 40th International Conference on Software Maintenance and Evolution, forthcoming.

[ICSME 2024] Zhongzhen Wen, Yifei Lu, Tongtong Xu, Minxue Pan, Tian Zhang, Xuandong Li. Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information. In Proceedings of the 40th International Conference on Software Maintenance and Evolution, forthcoming.

[OOPSLA 2024] Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su. Understanding and Finding Java Decompiler Bugs. In Proceedings of the ACM on Programming Languages, 8, OOPSLA, Article 143 (April 2024), 27 pages. [link]

[ASEJ 2024] Jian Shen, Zhong Li, Yifei Lu, Minxue Pan, Xuandong Li. Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks. Automated Software Engineering 31, 33 (2024). [link]

[JSEP 2024] Chaochao Shen, Wenhua Yang, Haitao Jia, Minxue Pan, Yu Zhou. Richen: Automated enrichment of Git documentation with usage examples and scenarios. JJournal of Software: Evolution and Process 2024;e2662. [link]

[ICSE 2024] Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li. Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. In Proceedings of the 46th International Conference on Software Engineering, Article 90, 1–13. [link]

[ICSE 2024] Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li. Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. In Proceedings of the 46th International Conference on Software Engineering, Article 71, 1–13. [link]

[TOSEM 2024] Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, and Xuandong Li. Deep is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. ACM Transactions on Software Engineering and Methodology, 33, 3, Article 67 (March 2024), 37 pages. [link]

[ASE 2023] Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen, Minxue Pan, Tian Zhang. Vision-based Widget Mapping for Test Migration across Mobile Platforms: Are We There Yet? In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, Luxembourg, 2023, pp. 1416-1428. [link]

[ASE 2023] Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, and Yu Zhou. Understanding and Enhancing Issue Prioritization in GitHub. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, Luxembourg, 2023, pp. 813-824. [link]

[ASE 2023] Pengcheng Liu, Yifei Lu, Wenhua Yang, Minxue Pan. VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, Luxembourg, Luxembourg, 2023, pp. 1940-1951. [link]

[ESEC/FSE 2023] Wenhua Yang, Chong Zhang, and Minxue Pan. Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1444–1456. [link]

[IST 2023] Haitao Jia, Wenhua Yang, Chaochao Shen, Minxue Pan, Yu Zhou. Git command recommendations using crowd-sourced knowledge. Information and Software Technology, Volume 159, 2023, 107199. [link]

[TRel 2023] Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, and Zhiqiu Huang. Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. IEEE Transactions on Reliability, vol. 72, no. 1, pp. 289-301, March 2023. [link]

[ASE 2022] Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li. Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, Article 86, 1–13, 2022. [link]

[ISSTA 2022] Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li. Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 642–653, 18-22 July, 2022. [link]

[TSE 2022] Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, and Carlo A. Furia. Program Repair with Repeated Learning. IEEE Transactions on Software Engineering, vol. 49, no. 2, pp. 831-848, 1 Feb. 2023. [link]

[TOSEM 2022] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, and Xuandong Li. Preference-Wise Testing of Android Apps via Test Amplification. ACM Transactions on Software Engineering and Methodology, 32, 1, Article 4 (January 2023), 37 pages. [link]

[SoSyM 2022] Longlong Lu, Minxue Pan, Tian Zhang, and Xuandong Li. Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Software and Systems Modeling, 21, 1321–1338, 2022. [link]

[TOSEM 2021] Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, and Zhiqiu Huang. Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow. ACM Transactions on Software Engineering and Methodology, 31, 3, Article 44 (July 2022), 29 pages. [link]

[ISSTA 2021] Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li. GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps. In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 191-203. July 11–17, 2021, Virtual, Denmark. [link]

[ICML 2021] Zhong Li, Minxue Pan, Tian Zhang, and Xuandong Li. Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. In Proceedings of the 38th International Conference on Machine Learning, PMLR 139: 6471-6482, 2021. [link]

[STVR 2021] Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, and Xuandong Li. Documentation-based Functional Constraint Generation for Library Methods. Software: Testing, Verification and Reliability. 2021;e1785. [link]

[IST 2020] Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang. Developer portraying: A quick approach to understanding developers on OSS platforms. Information and Software Technology, Volume 125, 2020, 106336. [link]

[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, vol. 48, no. 3, pp. 910-929. [link]

[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. [link]

[ISSTA 2020 (Distinguished Paper Award)] 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. [link]

[TSE 2020] Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, and Carlo A. Furia. RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Transactions on Software Engineering, vol. 48, no. 1, pp. 309-326. [link]

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

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

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

[JSS 2020] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, and 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. 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. [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. In Proceedings of the 41st International Conference on Software Engineering, pp. 212-222. May 25-31, 2019, Montréal, QC, Canada. [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]

[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. [link]

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

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

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

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