| 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 | 457 | 2010 |
| Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 171 | 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 | 71 | 2011 |
| 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 | 70 | 2017 |
| 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 | 60 | 2013 |
| 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 48 (3), 910-929, 2020 | 55 | 2020 |
| 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 | 38 | 2018 |
| Contract-based program repair without the contracts: An extended study L Chen, Y Pei, CA Furia IEEE Transactions on Software Engineering 47 (12), 2841-2857, 2020 | 34 | 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 | 33 | 2019 |
| Guider: Gui structure and vision co-guided test script repair for android apps T Xu, M Pan, Y Pei, G Li, X Zeng, T Zhang, Y Deng, X Li Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 28 | 2021 |
| 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 | 27 | 2011 |
| 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 | 22 | 2015 |
| 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 48 (1), 309-326, 2020 | 21 | 2020 |
| Automatic program repair by fixing contracts Y Pei, CA Furia, M Nordio, B Meyer International Conference on Fundamental Approaches to Software Engineering …, 2014 | 21 | 2014 |
| A bug or a suggestion? an automatic way to label issues Y Zhu, M Pan, Y Pei, T Zhang arXiv preprint arXiv:1909.00934, 2019 | 20 | 2019 |
| 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 | 15 | 2019 |
| Statfier: Automated testing of static analyzers via semantic-preserving program transformations H Zhang, Y Pei, J Chen, SH Tan Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 13 | 2023 |
| Program repair with repeated learning L Chen, Y Pei, M Pan, T Zhang, Q Wang, CA Furia IEEE Transactions on Software Engineering 49 (2), 831-848, 2022 | 13 | 2022 |
| 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 | 12 | 2020 |
| 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 | 12 | 2018 |
Minxue PanNanjing UniversityEmail verificata su nju.edu.cn