| 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 | 296 | 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 | 132 | 2014 |
| Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 83 | 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 | 62 | 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 | 55 | 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 | 39 | 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 | 16 | 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 | 16 | 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 |
| 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 | 8 | 2019 |
| Contract-based program repair without the contracts: An extended study L Chen, Y Pei, CA Furia IEEE Transactions on Software Engineering, 2020 | 6 | 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 | 5 | 2019 |
| 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 | 4 | 2020 |
| 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 | 4 | 2020 |
| 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 | 4 | 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 | 4 | 2018 |
| Evidence-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer CoRR, abs/1102.1059, 2011 | 4 | 2011 |
| 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 | 3 | 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 | 3 | 2019 |
Carlo A. FuriaUSI Università della Svizzera ItalianaVerified email at usi.ch
