TASS: Timing Analyzer of Scenario-Based Specifications. - Minxue Pan; Lei Bu; Xuandong Li (CAV, 2009)

An MDE-based approach to the verification of SysML state machine diagram. - Xiaopu Huang; Qingqing Sun 003; Jiangwei Li; Minxue Pan; Tian Zhang 001 (Internetware, 2012)

Loop reduction techniques for reachability analysis of linear hybrid automata. - Minxue Pan; You Li; Lei Bu; Xuandong Li (Sci. China Inf. Sci., 2012)

Timing analysis of MSC specifications with asynchronous concatenation. - Minxue Pan; Xuandong Li (Int. J. Softw. Tools Technol. Transf., 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)

An Open Framework for Semantic Code Queries on Heterogeneous Repositories. - Tian Zhang 001; Minxue Pan; Jizhou Zhao; Yijun Yu; Xuandong Li (TASE, 2015)

一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship). - Renhe Jiang; Xiaomei Zheng; Xiaoqian Zhu; Minxue Pan; Tian Zhang 001 (计算机科学, 2017)

一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components). - Tongtong Xu; Qutao Liu; Xiaomei Zheng; Minxue Pan; Tian Zhang 001 (计算机科学, 2017)

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. - Ruihua Ji; Zhong Li; Shouyu Chen; Minxue Pan; Tian Zhang 001; Shaukat Ali 001; Tao Yue 002; Xuandong Li (ICST, 2018)

A Documentation-based Constraint Generation Method for Java APIs. - Zejun Zhang 004; Shaobo Wu; Renhe Jiang; Minxue Pan; Tian Zhang 001 (Internetware, 2018)

Dual-force: understanding WebView malware via cross-language forced execution. - Zhenhao Tang; Juan Zhai; Minxue Pan; Yousra Aafer; Shiqing Ma; Xiangyu Zhang 001; Jianhua Zhao (ASE, 2018)

Static extraction of IFML models for Android apps. - An Huang; Minxue Pan; Tian Zhang 001; Xuandong Li (MoDELS (Companion), 2018)

[Research Paper] Semantics-Based Code Search Using Input/Output Examples. - Renhe Jiang; Zhengzhao Chen; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001 (SCAM, 2018)

Efficient validation of self-adaptive applications by counterexample probability maximization. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Chun Cao; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2018)

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Xiaoxing Ma; Jian Lu 001 (ACM Trans. Internet Techn., 2018)

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. - Yufei Yang; Wenbo Luo; Yu Pei 001; Minxue Pan; Tian Zhang 001 (COMPSAC (1), 2019)

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. - Minxue Pan; Shouyu Chen; Yu Pei 001; Tian Zhang 001; Xuandong Li (ICSE, 2019)

GUI-guided repair of mobile test scripts. - Minxue Pan; Tongtong Xu; Yu Pei 001; Zhong Li; Tian Zhang 001; Xuandong Li (ICSE (Companion Volume), 2019)

Extracting Mapping Relations for Mobile User Interface Transformation. - Ruihua Ji; Junyu Pei; Wenhua Yang 001; Juan Zhai; Minxue Pan; Tian Zhang 001 (Internetware, 2019)

Preference-wise testing for Android applications. - Yifei Lu; Minxue Pan; Juan Zhai; Tian Zhang 001; Xuandong Li (ESEC/SIGSOFT FSE, 2019)

PI-REC: Progressive Image Reconstruction Network With Edge and Color Domain. - Sheng You; Ning You; Minxue Pan (CoRR, 2019)

A Bug or a Suggestion? An Automatic Way to Label Issues. - Yuxiang Zhu; Minxue Pan; Yu Pei 001; Tian Zhang 001 (CoRR, 2019)

Automatic Code Summarization: A Systematic Literature Review. - Yuxiang Zhu; Minxue Pan (CoRR, 2019)

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). - Zhengzhao Chen; Renhe Jiang; Minxue Pan; Tian Zhang 001; Xuandong Li (计算机科学, 2019)

Template-based model generation. - Xiao He 005; Tian Zhang 001; Minxue Pan; Zhiyi Ma; Changjun Hu (Softw. Syst. Model., 2019)

CPC: automatically classifying and propagating natural language comments via program analysis. - Juan Zhai; Xiangzhe Xu; Yu Shi; Guanhong Tao 001; Minxue Pan; Shiqing Ma; Lei Xu 003; Weifeng Zhang 001; Lin Tan 001; Xiangyu Zhang 001 (ICSE, 2020)

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. - Longlong Lu; Wenhua Yang 001; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

A Feature Table approach to decomposing monolithic applications into microservices. - Yuyang Wei; Yijun Yu; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

Automatically Detecting Exception Handling Defects in Android Applications. - Linna Xie; Lu Lu; Shunjie Ding; Yu Pei 001; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

Reinforcement learning based curiosity-driven testing of Android applications. - Minxue Pan; An Huang; Guoxin Wang; Tian Zhang 001; Xuandong Li (ISSTA, 2020)

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. - Zejun Zhang 004; Minxue Pan; Tian Zhang 001; Xinyu Zhou; Xuandong Li (ICPC, 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 001; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Developer portraying: A quick approach to understanding developers on OSS platforms. - Wenhua Yang 001; Minxue Pan; Yu Zhou 010; Zhiqiu Huang (Inf. Softw. Technol., 2020)

Enhancing example-based code search with functional semantics. - Zhengzhao Chen; Renhe Jiang; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (J. Syst. Softw., 2020)

Effective testing of Android apps using extended IFML models. - Minxue Pan; Yifei Lu; Yu Pei 001; Tian Zhang 001; Juan Zhai; Xuandong Li (J. Syst. Softw., 2020)

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. - Zhong Li; Minxue Pan; Tian Zhang 001; Xuandong Li (ICML, 2021)

GUIDER: GUI structure and vision co-guided test script repair for Android apps. - Tongtong Xu; Minxue Pan; Yu Pei 001; Guiyin Li; Xia Zeng; Tian Zhang 001; Yuetang Deng; Xuandong Li (ISSTA, 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)

Documentation-based functional constraint generation for library methods. - Renhe Jiang; Zhengzhao Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (Softw. Test. Verification Reliab., 2021)

NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. - Jiayi Chen; Zhixing Wang; Yuchen Jiang; Jun Pang 001; Tian Zhang 001; Minxue Pan; Jianwen Sun (APSEC, 2022)

DeepLabel: Automated Issue Classification for Issue Tracking Systems. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (Internetware, 2022)

Functional Scenario Classification for Android Applications using GNNs. - Guiyin Li; Fengyi Zhu; Jun Pang 001; Tian Zhang 001; Minxue Pan; Xuandong Li (Internetware, 2022)

Detecting resource utilization bugs induced by variant lifecycles in Android. - Yifei Lu; Minxue Pan; Yu Pei 001; Xuandong Li (ISSTA, 2022)

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (ASE, 2022)

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems. - Wenhua Yang 001; Minxue Pan; Yu Zhou 010; Zhiqiu Huang (J. Comput. Sci. Technol., 2022)

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. - Longlong Lu; Minxue Pan; Tian Zhang 001; Xuandong Li (Softw. Syst. Model., 2022)

Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. - Wenhua Yang 001; Chong Zhang; Minxue Pan; Chang Xu 001; Yu Zhou 010; Zhiqiu Huang (ACM Trans. Softw. Eng. Methodol., 2022)

GUI-Guided Test Script Repair for Mobile Apps. - Minxue Pan; Tongtong Xu; Yu Pei 001; Zhong Li; Tian Zhang 001; Xuandong Li (IEEE Trans. Software Eng., 2022)

Restore: Retrospective Fault Localization Enhancing Automated Program Repair. - Tongtong Xu; Liushan Chen; Yu Pei 001; Tian Zhang 001; Minxue Pan; Carlo A. Furia (IEEE Trans. Software Eng., 2022)

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. - Tingwei Zhu; Zhong Li; Minxue Pan; Chaoxuan Shi; Tian Zhang 001; Yu Pei 001; Xuandong Li (ICSE Companion, 2023)

Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models. - Chaoxuan Shi; Tingwei Zhu; Tian Zhang 001; Jun Pang 001; Minxue Pan (Internetware, 2023)

Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models. - Bingzhe Zhou; Xinying Wang; Shengbin Xu; Yuan Yao 001; Minxue Pan; Feng Xu 007; Xiaoxing Ma (Internetware, 2023)

Understanding and Enhancing Issue Prioritization in GitHub. - Yingying He; Wenhua Yang 001; Minxue Pan; Yasir Hussain; Yu Zhou 010 (ASE, 2023)

Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet? - Ruihua Ji; Tingwei Zhu; Xiaoqing Zhu; Chunyang Chen 001; Minxue Pan; Tian Zhang 001 (ASE, 2023)

VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. - Pengcheng Liu; Yifei Lu; Wenhua Yang 001; Minxue Pan (ASE, 2023)

Mobile Test Script Generation from Natural Language Descriptions. - Chun Li; Yifan Xiong; Zhong Li; Wenhua Yang 001; Minxue Pan (QRS, 2023)

Git Merge Conflict Resolution Leveraging Strategy Classification and LLM. - Chaochao Shen; Wenhua Yang 001; Minxue Pan; Yu Zhou 010 (QRS, 2023)

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts. - Wenhua Yang 001; Chong Zhang; Minxue Pan (ESEC/SIGSOFT FSE, 2023)

Preference-wise Testing of Android Apps via Test Amplification. - Minxue Pan; Yifei Lu; Yu Pei 001; Tian Zhang 001; Xuandong Li (ACM Trans. Softw. Eng. Methodol., 2023)

Program Repair With Repeated Learning. - Liushan Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Qixin Wang; Carlo A. Furia (IEEE Trans. Software Eng., 2023)

Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Yu Zhou 010; Zhiqiu Huang (IEEE Trans. Reliab., 2023)

Git command recommendations using crowd-sourced knowledge. - Haitao Jia; Wenhua Yang 001; Chaochao Shen; Minxue Pan; Yu Zhou 010 (Inf. Softw. Technol., 2023)

Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring. - Linna Xie; Chongmin Li; Yu Pei 001; Tian Zhang 001; Minxue Pan (APR, 2024)

Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. - Shaoheng Cao; Minxue Pan; Yu Pei 001; Wenhua Yang 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (ICSE, 2024)

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. - Yuanhong Lan; Yifei Lu; Zhong Li; Minxue Pan; Wenhua Yang 001; Tian Zhang 001; Xuandong Li (ICSE, 2024)

Enhancing Web Test Script Repair Using Integrated UI Structural and Visual Information. - Zhongzhen Wen; Yifei Lu; Tongtong Xu; Minxue Pan; Tian Zhang; Xuandong Li (ICSME, 2024)

PRECOS: Project-specific Retrieval for Better Code Summarization. - Tingwei Zhu; Zhong Li; Tian Zhang; Minxue Pan; Xuandong Li (ICSME, 2024)

Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking. - Ruihua Ji; Zhengxuan Qian; Zhong Li; Xiaoqing Zhu; Yu Pei 001; Minxue Pan; Tian Zhang 001 (Internetware, 2024)

Distance-Aware Test Input Selection for Deep Neural Networks. - Zhong Li; Zhengfeng Xu; Ruihua Ji; Minxue Pan; Tian Zhang 001; Linzhang Wang; Xuandong Li (ISSTA, 2024)

Silent Taint-Style Vulnerability Fixes Identification. - Zhongzhen Wen; Jiayuan Zhou; Minxue Pan; Shaohua Wang 002; Xing Hu 008; Tongtong Xu; Tian Zhang 001; Xuandong Li (ISSTA, 2024)

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. - Linna Xie; Chongmin Li; Yu Pei 001; Tian Zhang 001; Minxue Pan (ISSTA, 2024)

Exploring and Improving Code Completion for Test Code. - Tingwei Zhu; Zhongxin Liu 002; Tongtong Xu; Ze Tang 002; Tian Zhang 001; Minxue Pan; Xin Xia 001 (ICPC, 2024)

Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents. - Shaoheng Cao; Renyi Chen; Minxue Pan; Wenhua Yang 001; Xuandong Li (ASE, 2024)

Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics. - Yuanhong Lan; Yifei Lu; Minxue Pan; Xuandong Li (ASE, 2024)

AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models. - Zhong Li; Chong Zhang; Minxue Pan; Tian Zhang 001; Xuandong Li (ASE, 2024)

Prioritizing Test Inputs for DNNs Using Training Dynamics. - Jian Shen; Zhong Li; Minxue Pan; Xuandong Li (ASE, 2024)

DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation. - Xinran Yu; Chun Li; Minxue Pan; Xuandong Li (ASE, 2024)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. - Fusen He; Juan Zhai; Minxue Pan (CoRR, 2024)

Demystifying and Assessing Code Understandability in Java Decompilation. - Ruixin Qin; Yifan Xiong; Yifei Lu; Minxue Pan (CoRR, 2024)

Understanding and Finding Java Decompiler Bugs. - Yifei Lu; Weidong Hou; Minxue Pan; Xuandong Li; Zhendong Su 001 (Proc. ACM Program. Lang., 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 001; Yu Pei 001; Xuandong Li (ACM Trans. Softw. Eng. Methodol., 2024)

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 (Autom. Softw. Eng., 2024)

Richen: Automated enrichment of Git documentation with usage examples and scenarios. - Chaochao Shen; Wenhua Yang 001; Haitao Jia; Minxue Pan; Yu Zhou 010 (J. Softw. Evol. Process., 2024)

Empirically revisiting and enhancing automatic classification of bug and non-bug issues. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (Frontiers Comput. Sci., 2024)

PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps. - Menglong Chen; Tian Tan 001; Minxue Pan; Yue Li 006 (ICSE, 2025)

Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning. - Chun Li; Hui Li; Zhong Li; Minxue Pan; Xuandong Li (ICSE, 2025)

GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. - Heng Yong; Zhong Li; Minxue Pan; Tian Zhang; Jianhua Zhao; Xuandong Li (ICSE, 2025)

A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings. - Shaoheng Cao; Renyi Chen; Wenhua Yang 001; Minxue Pan; Xuandong Li (Proc. ACM Softw. Eng., 2025)

Intention-Based GUI Test Migration for Mobile Apps using Large Language Models. - Shaoheng Cao; Minxue Pan; Yuanhong Lan; Xuandong Li (Proc. ACM Softw. Eng., 2025)

Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning. - Chun Li; Hui Li; Zhong Li; Minxue Pan; Xuandong Li (Proc. ACM Softw. Eng., 2025)

Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection. - Longlong Lu; Minxue Pan; Yifei Lu; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

LLMCup: Ranking-Enhanced Comment Updating with LLMs. - Hua Ge; Juan Zhai; Minxue Pan; Fusen He; Ziyue Tan (CoRR, 2025)

Detecting duplicate vulnerability records across databases. - Kangliang Zhu; Wenhua Yang 001; Minxue Pan; Yu Zhou 010 (Sci. Comput. Program., 2026)