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 | 306 | 2010 |
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 | 140 | 2014 |
Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 107 | 2017 |
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 | 63 | 2011 |
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 | 56 | 2013 |
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 | 46 | 2017 |
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 | 26 | 2011 |
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 | 21 | 2018 |
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 | 17 | 2015 |
Automatic program repair by fixing contracts Y Pei, CA Furia, M Nordio, B Meyer International Conference on Fundamental Approaches to Software Engineering …, 2014 | 16 | 2014 |
Contract-based program repair without the contracts: An extended study L Chen, Y Pei, CA Furia IEEE Transactions on Software Engineering, 2020 | 12 | 2020 |
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 | 11 | 2019 |
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 | 8 | 2019 |
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 | 7 | 2020 |
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 | 7 | 2019 |
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 | 7 | 2018 |
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 | 6 | 2020 |
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 | 5 | 2020 |
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 | 5 | 2020 |
Evidence-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer CoRR, abs/1102.1059, 2011 | 4 | 2011 |