![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Yu Pei 0001
Person information
- affiliation: Hong Kong Polytechnic University, Department of Computing, Hong Kong
- affiliation (PhD 2015): ETH Zurich, Switzerland
- affiliation (2004 - 2009): Macau University of Science and Technology, Macau
- affiliation (PhD 2004): Nanjing University, China
Other persons with the same name
- Yu Pei — disambiguation page
- Yu Pei 0002 — NXP Semiconductors, Eindhoven, The Netherlands (and 1 more)
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]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) - [j13]Huaien Zhang
, Yu Pei
, Shuyun Liang
, Shin Hwei Tan
:
Understanding and Detecting Annotation-Induced Faults of Static Analyzers. Proc. ACM Softw. Eng. 1(FSE): 722-744 (2024) - [j12]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) - [c31]Liushan Chen, Yu Pei
, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma:
Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data. FASE 2024: 165-187 - [c30]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 - [c29]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 - [i9]Huaien Zhang, Yu Pei, Shuyun Liang, Shin Hwei Tan:
Understanding and Detecting Annotation-Induced Faults of Static Analyzers. CoRR abs/2402.14366 (2024) - [i8]Shiyu Zhang, Haoyang Song, Qixin Wang, Yu Pei:
Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs. CoRR abs/2406.19812 (2024) - [i7]Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia:
Ranking Plausible Patches by Historic Feature Frequencies. CoRR abs/2407.17240 (2024) - 2023
- [j11]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) - [j10]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) - [j9]Huayao Wu
, Senyao Yu
, Xintao Niu
, Changhai Nie
, Yu Pei
, Qiang He
, Yun Yang
:
Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck. IEEE Trans. Software Eng. 49(8): 4097-4114 (2023) - [c28]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 - [c27]Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei:
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization. RTCSA 2023: 95-100 - [c26]Huaien Zhang
, Yu Pei
, Junjie Chen
, Shin Hwei Tan
:
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. ESEC/SIGSOFT FSE 2023: 237-249 - 2022
- [j8]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) - [j7]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) - [c25]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. ICST 2022: 463 - [c24]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware 2022: 231-241 - [c23]Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li:
Detecting resource utilization bugs induced by variant lifecycles in Android. ISSTA 2022: 642-653 - [c22]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
- [j6]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) - [j5]Liushan Chen
, Yu Pei
, Carlo A. Furia
:
Contract-Based Program Repair Without The Contracts: An Extended Study. IEEE Trans. Software Eng. 47(12): 2841-2857 (2021) - [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 - 2020
- [j4]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) - [j3]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]Linna Xie, Lu Lu, Shunjie Ding, Yu Pei
, Minxue Pan, Tian Zhang:
Automatically Detecting Exception Handling Defects in Android Applications. Internetware 2020: 61-70 - [c19]Subrota Kumar Mondal, Yu Pei
, Hong-Ning Dai
, Hussain Mohammed Dipu Kabir, Jyoti Prakash Sahoo:
Boosting UI Rendering in Android Applications. QRS Companion 2020: 285-286
2010 – 2019
- 2019
- [c18]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 - [c17]Zhijian He, Yao Chen, Enyan Huang, Qixin Wang
, Yu Pei
, Haidong Yuan:
A system identification based Oracle for control-CPS software fault localization. ICSE 2019: 116-127 - [c16]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 - [c15]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 - [i6]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) - [i5]Yuxiang Zhu, Minxue Pan, Yu Pei, Tian Zhang:
A Bug or a Suggestion? An Automatic Way to Label Issues. CoRR abs/1909.00934 (2019) - 2018
- [c14]Nana Chang, Linzhang Wang, Yu Pei
, Subrota K. Mondal, Xuandong Li:
Change-Based Test Script Maintenance for Android Apps. QRS 2018: 215-225 - [c13]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
- [c12]Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei
, Linzhang Wang, Xuandong Li:
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. ICST 2017: 161-171 - [c11]Liushan Chen
, Yu Pei
, Carlo A. Furia:
Contract-based program repair without the contracts. ASE 2017: 637-647 - 2015
- [b1]Yu Pei:
Automatic Fixing of Programs with Contracts. ETH Zurich, Zürich, Switzerland, 2015 - [c10]Yu Pei
, Carlo A. Furia, Martín Nordio, Bertrand Meyer:
Automated Program Repair in an Integrated Development Environment. ICSE (2) 2015: 681-684 - 2014
- [j2]Yu Pei
, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
:
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40(5): 427-449 (2014) - [c9]Yu Pei
, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. FASE 2014: 246-260 - [i4]Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. CoRR abs/1403.1117 (2014) - 2013
- [c8]Nadia Polikarpova, Carlo A. Furia, Yu Pei
, Yi Wei, Bertrand Meyer:
What good are strong specifications? ICSE 2013: 262-271 - 2012
- [c7]Qing Xu, Yu Pei
, Linzhang Wang:
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs. ISCTCS 2012: 591-597 - [i3]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What Good Are Strong Specifications? CoRR abs/1208.3337 (2012) - 2011
- [c6]Yu Pei
, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
:
Code-based automated program fixing. ASE 2011: 392-395 - [c5]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei
, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443 - [i2]Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011) - [i1]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011) - 2010
- [c4]Yi Wei, Yu Pei
, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
:
Automated fixing of programs with contracts. ISSTA 2010: 61-72
2000 – 2009
- 2004
- [c3]Yu Pei
, Qiwen Xu:
Checking Interval Based Properties for Reactive Systems. VMCAI 2004: 122-134 - 2002
- [j1]Xuandong Li, Jianhua Zhao, Yu Pei
, Yong Li, Tao Zheng, Guoliang Zheng:
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. 52-53: 79-108 (2002) - 2001
- [c2]Xuandong Li, Yu Pei
, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng:
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480 - [c1]Xuandong Li, Cui Meng, Yu Pei
, Jianhua Zhao, Guoliang Zheng:
Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-27 22:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint