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 database1, Yu Pei authored at least 41 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Empirically revisiting and enhancing automatic classification of bug and non-bug issues.
Frontiers Comput. Sci., October, 2024

2023
Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck.
IEEE Trans. Software Eng., August, 2023

Program Repair With Repeated Learning.
IEEE Trans. Software Eng., February, 2023

Preference-wise Testing of Android Apps via Test Amplification.
ACM Trans. Softw. Eng. Methodol., January, 2023

A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.
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.
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.
IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.
IEEE Trans. Software Eng., 2022

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Detecting resource utilization bugs induced by variant lifecycles in Android.
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.
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.
IEEE Trans. Software Eng., 2021

Documentation-based functional constraint generation for library methods.
Softw. Test. Verification Reliab., 2021

GUIDER: GUI structure and vision co-guided test script repair for Android apps.
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.
J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.
J. Syst. Softw., 2020

Boosting UI Rendering in Android Applications.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Automatically Detecting Exception Handling Defects in Android Applications.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

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

GUI-guided repair of mobile test scripts.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.
Proceedings of the 41st International Conference on Software Engineering, 2019

A system identification based Oracle for control-CPS software fault localization.
Proceedings of the 41st International Conference on Software Engineering, 2019

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
[Research Paper] Semantics-Based Code Search Using Input/Output Examples.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Change-Based Test Script Maintenance for Android Apps.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017
Contract-based program repair without the contracts.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015
Automatic Fixing of Programs with Contracts.
PhD thesis, 2015

Automated Program Repair in an Integrated Development Environment.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng., 2014

Automatic Program Repair by Fixing Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
What good are strong specifications?
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

2011
Evidence-Based Automated Program Fixing
CoRR, 2011

Stateful testing: Finding more errors in code and contracts.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Automated fixing of programs with contracts.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2004
Checking Interval Based Properties for Reactive Systems.
Proceedings of the Verification, 2004

2002
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebraic Methods Program., 2002

2001
Timing Analysis of UML Activity Diagrams.
Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001


  Loading...