Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. - Xuandong Li; Yu Pei 001; Jianhua Zhao; Yong Li 005; Tao Zheng; Guoliang Zheng (CHARME, 2001)

Timing Analysis of UML Activity Diagrams. - Xuandong Li; Cui Meng; Yu Pei 001; Jianhua Zhao; Guoliang Zheng (UML, 2001)

Positive loop-closed automata: a decidable class of hybrid systems. - Xuandong Li; Jianhua Zhao; Yu Pei 001; Yong Li 005; Tao Zheng; Guoliang Zheng (J. Log. Algebraic Methods Program., 2002)

Checking Interval Based Properties for Reactive Systems. - Yu Pei 001; Qiwen Xu (VMCAI, 2004)

Automated fixing of programs with contracts. - Yi Wei 001; Yu Pei 001; Carlo A. Furia; Lucas Serpa Silva; Stefan Buchholz; Bertrand Meyer 001; Andreas Zeller (ISSTA, 2010)

Code-based automated program fixing. - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Stateful testing: Finding more errors in code and contracts. - Yi Wei 001; Hannes Roth; Carlo A. Furia; Yu Pei 001; Alexander Horton; Michael Steindorfer; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Evidence-Based Automated Program Fixing - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs. - Qing Xu; Yu Pei 001; Linzhang Wang (ISCTCS, 2012)

What good are strong specifications? - Nadia Polikarpova; Carlo A. Furia; Yu Pei 001; Yi Wei 001; Bertrand Meyer 001 (ICSE, 2013)

Automatic Program Repair by Fixing Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (FASE, 2014)

Automated Fixing of Programs with Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Yi Wei 001; Bertrand Meyer 001; Andreas Zeller (IEEE Trans. Software Eng., 2014)

Automated Program Repair in an Integrated Development Environment. - Yu Pei 001; Carlo A. Furia; Martín Nordio; Bertrand Meyer 001 (ICSE (2), 2015)

Automatic Fixing of Programs with Contracts. - Yu Pei 001 (2015)

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. - Xiao Li; Nana Chang; Yan Wang; Haohua Huang; Yu Pei 001; Linzhang Wang; Xuandong Li (ICST, 2017)

Contract-based program repair without the contracts. - Liushan Chen; Yu Pei 001; Carlo A. Furia (ASE, 2017)

Change-Based Test Script Maintenance for Android Apps. - Nana Chang; Linzhang Wang; Yu Pei 001; Subrota K. Mondal; Xuandong Li (QRS, 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)

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)

A system identification based Oracle for control-CPS software fault localization. - Zhijian He; Yao Chen; Enyan Huang; Qixin Wang; Yu Pei 001; Haidong Yuan (ICSE, 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)

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

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

Boosting UI Rendering in Android Applications. - Subrota Kumar Mondal; Yu Pei 001; Hong-Ning Dai; Hussain Mohammed Dipu Kabir; Jyoti Prakash Sahoo (QRS Companion, 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)

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)

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)

Contract-Based Program Repair Without The Contracts: An Extended Study. - Liushan Chen; Yu Pei 001; Carlo A. Furia (IEEE Trans. Software Eng., 2021)

DeepLabel: Automated Issue Classification for Issue Tracking Systems. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; 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)

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)

A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization. - Shiyu Zhang; Wenxia Liu; Qixin Wang; Lei Bu; Yu Pei 001 (RTCSA, 2023)

Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. - Huaien Zhang; Yu Pei 001; Junjie Chen 003; Shin Hwei Tan (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)

Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck. - Huayao Wu; Senyao Yu; Xintao Niu; Changhai Nie; Yu Pei 001; Qiang He 001; Yun Yang 001 (IEEE Trans. Software Eng., 2023)

Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data. - Liushan Chen; Yu Pei 001; Mingyang Wan; Zhihui Fei; Tao Liang; Guojun Ma (FASE, 2024)

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)

Effective Unit Test Generation for Android Apps. - Guojun Ma; Yu Pei 001; Liushan Chen; Chenqing Gan; Hao Zhang; Hao Liang; Tian Zhang 001 (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)

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)

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks. - Huaien Zhang; Yu Pei 001; Shuyun Liang; Zezhong Xing; Shin Hwei Tan (ISSTA, 2024)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs. - Shiyu Zhang; Haoyang Song; Qixin Wang; Yu Pei 001 (CoRR, 2024)

Ranking Plausible Patches by Historic Feature Frequencies. - Shifat Sahariar Bhuiyan; Abhishek Tiwari 001; Yu Pei 001; Carlo A. Furia (CoRR, 2024)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers. - Huaien Zhang; Yu Pei 001; Shuyun Liang; Shin Hwei Tan (Proc. ACM Softw. Eng., 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)

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)

A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory. - Shiyu Zhang; Haoyang Song; Qixin Wang; Henghua Shen; Yu Pei 001 (ICSE, 2025)