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
2462010
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
1022014
Contract-based program repair without the contracts
L Chen, Y Pei, CA Furia
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
502017
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
Proceedings of the 2013 International Conference on Software Engineering …, 2013
502013
Code-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
492011
Stateful testing: Finding more errors in code and contracts
Y Wei, H Roth, C Furia, Y Pei, A Horton, M Steindorfer, M Nordio, B Meyer
Automated Software Engineering (ASE), 2011 26th IEEE/ACM International …, 2011
262011
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
212017
Automatic Program Repair by Fixing Contracts.
Y Pei, CA Furia, M Nordio, B Meyer
FASE 8411, 246-260, 2014
142014
Automated Program Repair in an Integrated Development Environment
Y Pei, CA Furia, M Nordio, B Meyer
11*
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
62018
Evidence-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
CoRR, abs/1102.1059, 2011
42011
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
12018
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs
Q Xu, Y Pei, L Wang
International Conference on Trustworthy Computing and Services, 591-597, 2012
12012
Automatic Fixing of Programs with Contracts
Y Pei
Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 22477, 2015
2015
QRDChecker: A model checking tool for QRDC.
Y Pei, QW Xu, XD Li, GL Zheng
Ruan Jian Xue Bao(J. Softw.) 16 (3), 355-364, 2005
2005
LDPChecker- A model checking tool for real-time and hybrid system.
Y Pei, X Li, G Zheng
Jisuanji Yanjiu yu Fazhan(Comput. Res. Dev.) 42 (1), 38-46, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–16