Yu Pei

Orcid: 0000-0001-6065-6958

Affiliations:

Hong Kong Polytechnic University, Department of Computing, Hong Kong
ETH Zurich, Switzerland (PhD 2015)
Macau University of Science and Technology, Macau (2004 - 2009)
Nanjing University, China (PhD 2004)

According to our database¹, Yu Pei authored at least 52 papers between 2001 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Empirically revisiting and enhancing automatic classification of bug and non-bug issues.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., October, 2024

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., March, 2024

Understanding and Detecting Annotation-Induced Faults of Static Analyzers.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

Ranking Plausible Patches by Historic Feature Frequencies.

[BibT_eX]

[DOI]

Shifat Sahariar Bhuiyan

Abhishek Tiwari

Yu Pei

Carlo A. Furia

CoRR, 2024

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs.

[BibT_eX]

[DOI]

CoRR, 2024

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., August, 2023

Program Repair With Repeated Learning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., February, 2023

Preference-wise Testing of Android Apps via Test Amplification.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Restore: Retrospective Fault Localization Enhancing Automated Program Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Detecting resource utilization bugs induced by variant lifecycles in Android.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

DeepLabel: Automated Issue Classification for Issue Tracking Systems.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

2021

Contract-Based Program Repair Without The Contracts: An Extended Study.

[BibT_eX]

[DOI]

Liushan Chen

Yu Pei

Carlo A. Furia

IEEE Trans. Software Eng., 2021

Documentation-based functional constraint generation for library methods.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

GUIDER: GUI structure and vision co-guided test script repair for Android apps.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Effective testing of Android apps using extended IFML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Boosting UI Rendering in Android Applications.

[BibT_eX]

[DOI]

Subrota Kumar Mondal

Yu Pei

Hong-Ning Dai

Hussain Mohammed Dipu Kabir

Jyoti Prakash Sahoo

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Automatically Detecting Exception Handling Defects in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

A Bug or a Suggestion? An Automatic Way to Label Issues.

[BibT_eX]

[DOI]

CoRR, 2019

GUI-guided repair of mobile test scripts.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

A system identification based Oracle for control-CPS software fault localization.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Change-Based Test Script Maintenance for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

Contract-based program repair without the contracts.

[BibT_eX]

[DOI]

Liushan Chen

Yu Pei

Carlo A. Furia

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

Automatic Fixing of Programs with Contracts.

[BibT_eX]

[DOI]

Yu Pei

PhD thesis, 2015

Automated Program Repair in an Integrated Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Automated Fixing of Programs with Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Automatic Program Repair by Fixing Contracts.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

What good are strong specifications?

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs.

[BibT_eX]

[DOI]

Qing Xu

Yu Pei

Linzhang Wang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

2011

Evidence-Based Automated Program Fixing

[BibT_eX]

[DOI]

CoRR, 2011

Stateful testing: Finding more errors in code and contracts.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Automated fixing of programs with contracts.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2004

Checking Interval Based Properties for Reactive Systems.

[BibT_eX]

[DOI]

Yu Pei

Qiwen Xu

Proceedings of the Verification, 2004

2002

Positive loop-closed automata: a decidable class of hybrid systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

2001

Timing Analysis of UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Yu Pei

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...