Yu Pei

62 papers A* 9A 8B 4C 2Journal 25Unranked 13
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory.
ICSE
Shiyu Zhang, Haoyang Song, Qixin Wang, Henghua Shen, Yu Pei
2025 J jnl
PReMM: LLM-Based Program Repair for Multi-method Bugs via Divide and Conquer.
Proc. ACM Program. Lang.
Linna Xie, Zhong Li, Yu Pei, Zhongzhen Wen, Kui Liu, Tian Zhang, Xuandong Li
2025 J jnl
Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis.
CoRR
Yu Ge, Linna Xie, Zhong Li, Yu Pei, Tian Zhang
2024 — conf
Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring.
APR
Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan
2024 A conf
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.
ISSTA
Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan
2024 A conf
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks.
ISSTA
Huaien Zhang, Yu Pei, Shuyun Liang, Zezhong Xing, Shin Hwei Tan
2024 A* conf
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.
ICSE
Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li
2024 J jnl
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.
ACM Trans. Softw. Eng. Methodol.
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
2024 A conf
Effective Unit Test Generation for Android Apps.
ICSME
Guojun Ma, Yu Pei, Liushan Chen, Chenqing Gan, Hao Zhang, Hao Liang, Tian Zhang
2024 J jnl
Empirically revisiting and enhancing automatic classification of bug and non-bug issues.
Frontiers Comput. Sci.
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2024 J jnl
Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs.
CoRR
Shiyu Zhang, Haoyang Song, Qixin Wang, Yu Pei
2024 J jnl
Ranking Plausible Patches by Historic Feature Frequencies.
CoRR
Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia
2024 — conf
Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking.
Internetware
Ruihua Ji, Zhengxuan Qian, Zhong Li, Xiaoqing Zhu, Yu Pei, Minxue Pan, Tian Zhang
2024 B conf
Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data.
FASE
Liushan Chen, Yu Pei, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma
2024 J jnl
Understanding and Detecting Annotation-Induced Faults of Static Analyzers.
CoRR
Huaien Zhang, Yu Pei, Shuyun Liang, Shin Hwei Tan
2024 J jnl
Understanding and Detecting Annotation-Induced Faults of Static Analyzers.
Proc. ACM Softw. Eng.
Huaien Zhang, Yu Pei, Shuyun Liang, Shin Hwei Tan
2023 B conf
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.
RTCSA
Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei
2023 J jnl
Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck.
IEEE Trans. Software Eng.
Huayao Wu, Senyao Yu, Xintao Niu, Changhai Nie, Yu Pei, Qiang He, Yun Yang
2023 J jnl
Preference-wise Testing of Android Apps via Test Amplification.
ACM Trans. Softw. Eng. Methodol.
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li
2023 J jnl
Program Repair With Repeated Learning.
IEEE Trans. Software Eng.
Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia
2023 — conf
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.
ICSE Companion
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
2023 — conf
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.
ESEC/SIGSOFT FSE
Huaien Zhang, Yu Pei, Junjie Chen, Shin Hwei Tan
2022 — conf
DeepLabel: Automated Issue Classification for Issue Tracking Systems.
Internetware
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2022 A conf
Detecting resource utilization bugs induced by variant lifecycles in Android.
ISSTA
Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li
2022 A conf
Documentation-based functional constraint generation for library methods.
ICST
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2022 J jnl
GUI-Guided Test Script Repair for Mobile Apps.
IEEE Trans. Software Eng.
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
2022 J jnl
Restore: Retrospective Fault Localization Enhancing Automated Program Repair.
IEEE Trans. Software Eng.
Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
2022 A* conf
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.
ASE
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2021 J jnl
Contract-Based Program Repair Without The Contracts: An Extended Study.
IEEE Trans. Software Eng.
Liushan Chen, Yu Pei, Carlo A. Furia
2021 J jnl
Documentation-based functional constraint generation for library methods.
Softw. Test. Verification Reliab.
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2021 A conf
GUIDER: GUI structure and vision co-guided test script repair for Android apps.
ISSTA
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li
2020 — conf
Automatically Detecting Exception Handling Defects in Android Applications.
Internetware
Linna Xie, Lu Lu, Shunjie Ding, Yu Pei, Minxue Pan, Tian Zhang
2020 — conf
Boosting UI Rendering in Android Applications.
QRS Companion
Subrota Kumar Mondal, Yu Pei, Hong-Ning Dai, Hussain Mohammed Dipu Kabir, Jyoti Prakash Sahoo
2020 J jnl
Effective testing of Android apps using extended IFML models.
J. Syst. Softw.
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li
2020 J jnl
Enhancing example-based code search with functional semantics.
J. Syst. Softw.
Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2019 J jnl
A Bug or a Suggestion? An Automatic Way to Label Issues.
CoRR
Yuxiang Zhu, Minxue Pan, Yu Pei, Tian Zhang
2019 A* conf
A system identification based Oracle for control-CPS software fault localization.
ICSE
Zhijian He, Yao Chen, Enyan Huang, Qixin Wang, Yu Pei, Haidong Yuan
2019 A* conf
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.
ICSE
Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li
2019 — conf
Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.
COMPSAC (1)
Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan, Tian Zhang
2019 — conf
GUI-guided repair of mobile test scripts.
ICSE (Companion Volume)
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
2019 J jnl
Restore: Retrospective Fault Localization Enhancing Automated Program Repair.
CoRR
Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
2018 C conf
Change-Based Test Script Maintenance for Android Apps.
QRS
Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li
2018 C conf
[Research Paper] Semantics-Based Code Search Using Input/Output Examples.
SCAM
Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang
2017 A conf
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.
ICST
Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
2017 A* conf
Contract-based program repair without the contracts.
ASE
Liushan Chen, Yu Pei, Carlo A. Furia
2015 — conf
Automated Program Repair in an Integrated Development Environment.
ICSE (2)
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
2015 — —
Automatic Fixing of Programs with Contracts.
Yu Pei
2014 J jnl
Automated Fixing of Programs with Contracts.
CoRR
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 J jnl
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng.
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 B conf
Automatic Program Repair by Fixing Contracts.
FASE
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 A* conf
What good are strong specifications?
ICSE
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2012 — conf
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs.
ISCTCS
Qing Xu, Yu Pei, Linzhang Wang
2012 J jnl
What Good Are Strong Specifications?
CoRR
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2011 A* conf
Code-based automated program fixing.
ASE
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Evidence-Based Automated Program Fixing
CoRR
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Stateful Testing: Finding More Errors in Code and Contracts
CoRR
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 A* conf
Stateful testing: Finding more errors in code and contracts.
ASE
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2010 A conf
Automated fixing of programs with contracts.
ISSTA
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
2004 B conf
Checking Interval Based Properties for Reactive Systems.
VMCAI
Yu Pei, Qiwen Xu
2002 J jnl
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebraic Methods Program.
Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
2001 — conf
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
CHARME
Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng
2001 — conf
Timing Analysis of UML Activity Diagrams.
UML
Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng