default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMinxue Pan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]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. Autom. Softw. Eng. 31(1): 33 (2024)- [j27]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
Empirically revisiting and enhancing automatic classification of bug and non-bug issues. Frontiers Comput. Sci. 18(5): 185207 (2024) - [j26]Yifei Lu
, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su:
Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. 8(OOPSLA1): 1380-1406 (2024) - [j25]Chaochao Shen, Wenhua Yang, Haitao Jia, Minxue Pan, Yu Zhou:
Richen: Automated enrichment of Git documentation with usage examples and scenarios. J. Softw. Evol. Process. 36(8) (2024) - [j24]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. ACM Trans. Softw. Eng. Methodol. 33(3): 67:1-67:37 (2024) - [c45]Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li:
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. ICSE 2024: 71:1-71:13 - [c44]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. ICSE 2024: 90:1-90:13 - [c43]Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan:
Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring. APR 2024: 53-55 - [c42]Ruihua Ji, Zhengxuan Qian, Zhong Li, Xiaoqing Zhu, Yu Pei, Minxue Pan, Tian Zhang:
Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking. Internetware 2024 - [c41]Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li:
Distance-Aware Test Input Selection for Deep Neural Networks. ISSTA 2024: 248-260 - [c40]Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li:
Silent Taint-Style Vulnerability Fixes Identification. ISSTA 2024: 428-439 - [c39]Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan:
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. ISSTA 2024: 856-868 - [c38]Tingwei Zhu, Zhongxin Liu, Tongtong Xu, Ze Tang, Tian Zhang, Minxue Pan, Xin Xia:
Exploring and Improving Code Completion for Test Code. ICPC 2024: 137-148 - [i7]Fusen He, Juan Zhai, Minxue Pan:
Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. CoRR abs/2407.14118 (2024) - [i6]Ruixin Qin, Yifan Xiong, Yifei Lu, Minxue Pan:
Demystifying and Assessing Code Understandability in Java Decompilation. CoRR abs/2409.20343 (2024) - 2023
- [j23]Haitao Jia, Wenhua Yang, Chaochao Shen, Minxue Pan, Yu Zhou:
Git command recommendations using crowd-sourced knowledge. Inf. Softw. Technol. 159: 107199 (2023) - [j22]Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li:
Preference-wise Testing of Android Apps via Test Amplification. ACM Trans. Softw. Eng. Methodol. 32(1): 4:1-4:37 (2023) - [j21]Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang:
Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. IEEE Trans. Reliab. 72(1): 289-301 (2023) - [j20]Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia:
Program Repair With Repeated Learning. IEEE Trans. Software Eng. 49(2): 831-848 (2023) - [c37]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. ICSE Companion 2023: 328-329 - [c36]Chaoxuan Shi, Tingwei Zhu, Tian Zhang, Jun Pang, Minxue Pan:
Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models. Internetware 2023: 1-11 - [c35]Bingzhe Zhou, Xinying Wang, Shengbin Xu, Yuan Yao, Minxue Pan, Feng Xu, Xiaoxing Ma:
Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models. Internetware 2023: 12-21 - [c34]Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, Yu Zhou:
Understanding and Enhancing Issue Prioritization in GitHub. ASE 2023: 813-824 - [c33]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? ASE 2023: 1416-1428 - [c32]Pengcheng Liu, Yifei Lu, Wenhua Yang, Minxue Pan:
VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. ASE 2023: 1940-1951 - [c31]Chaochao Shen, Wenhua Yang, Minxue Pan, Yu Zhou:
Git Merge Conflict Resolution Leveraging Strategy Classification and LLM. QRS 2023: 228-239 - [c30]Chun Li, Yifan Xiong, Zhong Li, Wenhua Yang, Minxue Pan:
Mobile Test Script Generation from Natural Language Descriptions. QRS 2023: 348-359 - [c29]Wenhua Yang, Chong Zhang, Minxue Pan:
Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts. ESEC/SIGSOFT FSE 2023: 1444-1456 - 2022
- [j19]Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang:
Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems. J. Comput. Sci. Technol. 37(1): 106-127 (2022) - [j18]Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li:
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Softw. Syst. Model. 21(4): 1321-1338 (2022) - [j17]Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, Zhiqiu Huang:
Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. ACM Trans. Softw. Eng. Methodol. 31(3): 44:1-44:29 (2022) - [j16]Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Trans. Software Eng. 48(2): 309-326 (2022) - [j15]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-Guided Test Script Repair for Mobile Apps. IEEE Trans. Software Eng. 48(3): 910-929 (2022) - [c28]Jiayi Chen, Zhixing Wang, Yuchen Jiang, Jun Pang, Tian Zhang, Minxue Pan, Jianwen Sun:
NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. APSEC 2022: 367-376 - [c27]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. ICST 2022: 463 - [c26]Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li:
Functional Scenario Classification for Android Applications using GNNs. Internetware 2022: 1-9 - [c25]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware 2022: 231-241 - [c24]Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li:
Detecting resource utilization bugs induced by variant lifecycles in Android. ISSTA 2022: 642-653 - [c23]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. ASE 2022: 86:1-86:13 - 2021
- [j14]Minxue Pan, Jun Wei, Zhanqi Cui:
Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling. Int. J. Softw. Informatics 11(3): 259-262 (2021) - [j13]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. Softw. Test. Verification Reliab. 31(8) (2021) - [c22]Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li:
Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. ICML 2021: 6471-6482 - [c21]Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li:
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA 2021: 191-203 - [i5]Yuyang Wei, Yijun Yu, Minxue Pan, Tian Zhang:
A Feature Table approach to decomposing monolithic applications into microservices. CoRR abs/2105.07157 (2021) - 2020
- [j12]Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang:
Developer portraying: A quick approach to understanding developers on OSS platforms. Inf. Softw. Technol. 125: 106336 (2020) - [j11]Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li:
Effective testing of Android apps using extended IFML models. J. Syst. Softw. 159 (2020) - [j10]Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Enhancing example-based code search with functional semantics. J. Syst. Softw. 165: 110568 (2020) - [c20]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. ICSE 2020: 1359-1371 - [c19]Yuyang Wei, Yijun Yu, Minxue Pan, Tian Zhang:
A Feature Table approach to decomposing monolithic applications into microservices. Internetware 2020: 21-30 - [c18]Linna Xie, Lu Lu, Shunjie Ding, Yu Pei, Minxue Pan, Tian Zhang:
Automatically Detecting Exception Handling Defects in Android Applications. Internetware 2020: 61-70 - [c17]Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang:
SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. Internetware 2020: 229-239 - [c16]Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li:
Reinforcement learning based curiosity-driven testing of Android applications. ISSTA 2020: 153-164 - [c15]Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li:
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. ICPC 2020: 106-116 - [c14]Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang:
C2S: translating natural language comments to formal program specifications. ESEC/SIGSOFT FSE 2020: 25-37
2010 – 2019
- 2019
- [j9]Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li:
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). 计算机科学 46(11): 137-144 (2019) - [j8]Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Changjun Hu:
Template-based model generation. Softw. Syst. Model. 18(3): 2051-2092 (2019) - [c13]Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan, Tian Zhang:
Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. COMPSAC (1) 2019: 149-158 - [c12]Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li:
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ICSE 2019: 212-222 - [c11]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-guided repair of mobile test scripts. ICSE (Companion Volume) 2019: 326-327 - [c10]Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang:
Extracting Mapping Relations for Mobile User Interface Transformation. Internetware 2019: 2:1-2:10 - [c9]Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li:
Preference-wise testing for Android applications. ESEC/SIGSOFT FSE 2019: 268-278 - [i4]Sheng You, Ning You, Minxue Pan:
PI-REC: Progressive Image Reconstruction Network With Edge and Color Domain. CoRR abs/1903.10146 (2019) - [i3]Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. CoRR abs/1906.01778 (2019) - [i2]Yuxiang Zhu, Minxue Pan, Yu Pei, Tian Zhang:
A Bug or a Suggestion? An Automatic Way to Label Issues. CoRR abs/1909.00934 (2019) - [i1]Yuxiang Zhu, Minxue Pan:
Automatic Code Summarization: A Systematic Literature Review. CoRR abs/1909.04352 (2019) - 2018
- [j7]Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu:
Efficient validation of self-adaptive applications by counterexample probability maximization. J. Syst. Softw. 138: 82-99 (2018) - [j6]Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu:
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Trans. Internet Techn. 18(2): 20:1-20:37 (2018) - [c8]Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST 2018: 204-214 - [c7]Zejun Zhang, Shaobo Wu, Renhe Jiang, Minxue Pan, Tian Zhang:
A Documentation-based Constraint Generation Method for Java APIs. Internetware 2018: 4:1-4:10 - [c6]Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao:
Dual-force: understanding WebView malware via cross-language forced execution. ASE 2018: 714-725 - [c5]An Huang, Minxue Pan, Tian Zhang, Xuandong Li:
Static extraction of IFML models for Android apps. MoDELS (Companion) 2018: 53-54 - [c4]Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang:
[Research Paper] Semantics-Based Code Search Using Input/Output Examples. SCAM 2018: 92-102 - 2017
- [j5]Renhe Jiang, Xiaomei Zheng, Xiaoqian Zhu, Minxue Pan, Tian Zhang:
一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship). 计算机科学 44(11): 69-79 (2017) - [j4]Tongtong Xu, Qutao Liu, Xiaomei Zheng, Minxue Pan, Tian Zhang:
一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components). 计算机科学 44(11): 98-103 (2017) - 2015
- [c3]Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li:
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. TASE 2015: 39-46 - 2012
- [j3]Minxue Pan, You Li, Lei Bu, Xuandong Li:
Loop reduction techniques for reachability analysis of linear hybrid automata. Sci. China Inf. Sci. 55(12): 2663-2674 (2012) - [j2]Minxue Pan, Xuandong Li:
Timing analysis of MSC specifications with asynchronous concatenation. Int. J. Softw. Tools Technol. Transf. 14(6): 639-651 (2012) - [j1]Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao:
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22(2): 121-143 (2012) - [c2]Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang:
An MDE-based approach to the verification of SysML state machine diagram. Internetware 2012: 9:1-9:7
2000 – 2009
- 2009
- [c1]Minxue Pan, Lei Bu, Xuandong Li:
TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-19 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
