Follow
Yu Pei
Title
Cited by
Cited by
Year
Automated fixing of programs with contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
3062010
Automated fixing of programs with contracts
Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller
IEEE Transactions on Software Engineering 40 (5), 427-449, 2014
1402014
Contract-based program repair without the contracts
L Chen, Y Pei, CA Furia
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1072017
Code-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
632011
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
2013 35th International Conference on Software Engineering (ICSE), 262-271, 2013
562013
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
X Li, N Chang, Y Wang, H Huang, Y Pei, L Wang, X Li
IEEE International Conference on Software Testing, Verification and …, 2017
462017
Stateful testing: Finding more errors in code and contracts
Y Wei, H Roth, CA Furia, Y Pei, A Horton, M Steindorfer, M Nordio, ...
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
262011
Change-Based Test Script Maintenance for Android Apps
N Chang, L Wang, Y Pei, SK Mondal, X Li
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
212018
Automated program repair in an integrated development environment
Y Pei, CA Furia, M Nordio, B Meyer
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
172015
Automatic program repair by fixing contracts
Y Pei, CA Furia, M Nordio, B Meyer
International Conference on Fundamental Approaches to Software Engineering …, 2014
162014
Contract-based program repair without the contracts: An extended study
L Chen, Y Pei, CA Furia
IEEE Transactions on Software Engineering, 2020
122020
A system identification based Oracle for control-CPS software fault localization
Z He, Y Chen, E Huang, Q Wang, Y Pei, H Yuan
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
112019
GUI-guided repair of mobile test scripts
M Pan, T Xu, Y Pei, Z Li, T Zhang, X Li
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
82019
Effective testing of Android apps using extended IFML models
M Pan, Y Lu, Y Pei, T Zhang, J Zhai, X Li
Journal of Systems and Software 159, 110433, 2020
72020
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
M Pan, S Chen, Y Pei, T Zhang, X Li
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
72019
Semantics-Based Code Search Using Input/Output Examples
R Jiang, Z Chen, Z Zhang, Y Pei, M Pan, T Zhang
2018 IEEE 18th International Working Conference on Source Code Analysis and …, 2018
72018
GUI-Guided Test Script Repair for Mobile Apps
M Pan, T Xu, Y Pei, Z Li, T Zhang, X Li
IEEE Transactions on Software Engineering, 2020
62020
Restore: Retrospective fault localization enhancing automated program repair
T Xu, L Chen, Y Pei, T Zhang, M Pan, CA Furia
IEEE Transactions on Software Engineering, 2020
52020
Enhancing Example-Based Code Search with Functional Semantics
Z Chen, R Jiang, Z Zhang, Y Pei, M Pan, T Zhang, X Li
Journal of Systems and Software, 110568, 2020
52020
Evidence-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
CoRR, abs/1102.1059, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20