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 | 464 | 2010 |
Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 178 | 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 | 75 | 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 | 69 | 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 | 58 | 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 | 54 | 2020 |
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 | 36 | 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 | 36 | 2018 |
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 | 32 | 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 | 29 | 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 | 23 | 2015 |
Automatic program repair by fixing contracts Y Pei, CA Furia, M Nordio, B Meyer International Conference on Fundamental Approaches to Software Engineering …, 2014 | 23 | 2014 |
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 | 22 | 2020 |
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 |
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 |
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 | 12 | 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 | 12 | 2019 |