Minxue Pan

According to our database, Minxue Pan authored at least 65 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Empirically revisiting and enhancing automatic classification of bug and non-bug issues.

Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li

Frontiers Comput. Sci., October, 2024

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 Trans. Softw. Eng. Methodol., March, 2024

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.

Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Git command recommendations using crowd-sourced knowledge.

Haitao Jia, Wenhua Yang, Chaochao Shen, Minxue Pan, Yu Zhou

Inf. Softw. Technol., July, 2023

Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty.

Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang

IEEE Trans. Reliab., March, 2023

Program Repair With Repeated Learning.

Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia

IEEE Trans. Software Eng., February, 2023

Preference-wise Testing of Android Apps via Test Amplification.

Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li

ACM Trans. Softw. Eng. Methodol., January, 2023

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts.

Wenhua Yang, Chong Zhang, Minxue Pan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Git Merge Conflict Resolution Leveraging Strategy Classification and LLM.

Chaochao Shen, Wenhua Yang, Minxue Pan, Yu Zhou

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Mobile Test Script Generation from Natural Language Descriptions.

Chun Li, Yifan Xiong, Zhong Li, Wenhua Yang, Minxue Pan

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning.

Pengcheng Liu, Yifei Lu, Wenhua Yang, Minxue Pan

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Understanding and Enhancing Issue Prioritization in GitHub.

Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, Yu Zhou

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models.

Bingzhe Zhou, Xinying Wang, Shengbin Xu, Yuan Yao, Minxue Pan, Feng Xu, Xiaoxing Ma

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models.

Chaoxuan Shi, Tingwei Zhu, Tian Zhang, Jun Pang, Minxue Pan

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.

Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Restore: Retrospective Fault Localization Enhancing Automated Program Repair.

Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia

IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.

Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li

IEEE Trans. Software Eng., 2022

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 Trans. Softw. Eng. Methodol., 2022

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li

Softw. Syst. Model., 2022

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems.

Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang

J. Comput. Sci. Technol., 2022

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

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Detecting resource utilization bugs induced by variant lifecycles in Android.

Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Functional Scenario Classification for Android Applications using GNNs.

Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

DeepLabel: Automated Issue Classification for Issue Tracking Systems.

Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

NEGAR: Network Embedding Guided Architecture Recovery for Software Systems.

Jiayi Chen, Zhixing Wang, Yuchen Jiang, Jun Pang, Tian Zhang, Minxue Pan, Jianwen Sun

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Documentation-based functional constraint generation for library methods.

Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li

Softw. Test. Verification Reliab., 2021

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling.

Minxue Pan, Jun Wei, Zhanqi Cui

Int. J. Softw. Informatics, 2021

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

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.

Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Effective testing of Android apps using extended IFML models.

Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li

J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.

Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li

J. Syst. Softw., 2020

Developer portraying: A quick approach to understanding developers on OSS platforms.

Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang

Inf. Softw. Technol., 2020

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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.

Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Reinforcement learning based curiosity-driven testing of Android applications.

Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Automatically Detecting Exception Handling Defects in Android Applications.

Linna Xie, Lu Lu, Shunjie Ding, Yu Pei, Minxue Pan, Tian Zhang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

A Feature Table approach to decomposing monolithic applications into microservices.

Yuyang Wei, Yijun Yu, Minxue Pan, Tian Zhang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications.

Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Template-based model generation.

Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Changjun Hu

Softw. Syst. Model., 2019

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).

Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li

计算机科学, 2019

Automatic Code Summarization: A Systematic Literature Review.

Yuxiang Zhu, Minxue Pan

CoRR, 2019

A Bug or a Suggestion? An Automatic Way to Label Issues.

Yuxiang Zhu, Minxue Pan, Yu Pei, Tian Zhang

CoRR, 2019

PI-REC: Progressive Image Reconstruction Network With Edge and Color Domain.

Sheng You, Ning You, Minxue Pan

CoRR, 2019

Preference-wise testing for Android applications.

Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Extracting Mapping Relations for Mobile User Interface Transformation.

Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

GUI-guided repair of mobile test scripts.

Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li

Proceedings of the 41st International Conference on Software Engineering, 2019

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.

Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan, Tian Zhang

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.

Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu

ACM Trans. Internet Techn., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.

Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu

J. Syst. Softw., 2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.

Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Static extraction of IFML models for Android apps.

An Huang, Minxue Pan, Tian Zhang, Xuandong Li

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Dual-force: understanding WebView malware via cross-language forced execution.

Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A Documentation-based Constraint Generation Method for Java APIs.

Zejun Zhang, Shaobo Wu, Renhe Jiang, Minxue Pan, Tian Zhang

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

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

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components).

Tongtong Xu, Qutao Liu, Xiaomei Zheng, Minxue Pan, Tian Zhang

计算机科学, 2017

一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship).

Renhe Jiang, Xiaomei Zheng, Xiaoqian Zhu, Minxue Pan, Tian Zhang

计算机科学, 2017

2015

An Open Framework for Semantic Code Queries on Heterogeneous Repositories.

Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2012

Timing analysis of scenario-based specifications using linear programming.

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Softw. Test. Verification Reliab., 2012

Timing analysis of MSC specifications with asynchronous concatenation.

Minxue Pan, Xuandong Li

Int. J. Softw. Tools Technol. Transf., 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.

Minxue Pan, You Li, Lei Bu, Xuandong Li

Sci. China Inf. Sci., 2012

An MDE-based approach to the verification of SysML state machine diagram.

Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

2009

TASS: Timing Analyzer of Scenario-Based Specifications.

Minxue Pan, Lei Bu, Xuandong Li

Proceedings of the Computer Aided Verification, 21st International Conference, 2009