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
2962010
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
1322014
Contract-based program repair without the contracts
L Chen, Y Pei, CA Furia
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
832017
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
622011
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
552013
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
392017
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
162018
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
162015
Automatic program repair by fixing contracts
Y Pei, CA Furia, M Nordio, B Meyer
International Conference on Fundamental Approaches to Software Engineering …, 2014
162014
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
82019
Contract-based program repair without the contracts: An extended study
L Chen, Y Pei, CA Furia
IEEE Transactions on Software Engineering, 2020
62020
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
52019
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
42020
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
42020
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
42019
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
42018
Evidence-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
CoRR, abs/1102.1059, 2011
42011
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
32020
Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading
Y Yang, W Luo, Y Pei, M Pan, T Zhang
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20