Angelix: Scalable multiline program patch synthesis via symbolic analysis S Mechtaev, J Yi, A Roychoudhury Proceedings of the 38th international conference on software engineering …, 2016 | 629 | 2016 |
Directfix: Looking for simple program repairs S Mechtaev, J Yi, A Roychoudhury 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 345 | 2015 |
Codeflaws: a programming competition benchmark for evaluating automated program repair tools SH Tan, J Yi, S Mechtaev, A Roychoudhury 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 159 | 2017 |
Semantic program repair using a reference implementation S Mechtaev, MD Nguyen, Y Noller, L Grunske, A Roychoudhury Proceedings of the 40th International Conference on Software Engineering …, 2018 | 106 | 2018 |
Re-factoring based program repair applied to programming assignments Y Hu, UZ Ahmed, S Mechtaev, B Leong, A Roychoudhury 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 99 | 2019 |
Crash-avoiding program repair X Gao, S Mechtaev, A Roychoudhury Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 74 | 2019 |
A correlation study between automated program repair and test-suite metrics J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury Proceedings of the 40th International Conference on Software Engineering, 24-24, 2018 | 62 | 2018 |
Test-equivalence analysis for automatic patch generation S Mechtaev, X Gao, SH Tan, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (4), 1-37, 2018 | 53 | 2018 |
Symbolic execution with existential second-order constraints S Mechtaev, A Griggio, A Cimatti, A Roychoudhury Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 42 | 2018 |
Evaluating automatic program repair capabilities to repair api misuses M Kechagia, S Mechtaev, F Sarro, M Harman IEEE Transactions on Software Engineering 48 (7), 2658-2679, 2021 | 34 | 2021 |
Rete: Learning namespace representation for program repair N Parasaram, ET Barr, S Mechtaev 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 7 | 2023 |
Fair decision making via automated repair of decision trees J Zhang, I Beschastnikh, S Mechtaev, A Roychoudhury Proceedings of the 2nd International Workshop on Equitable Data and …, 2022 | 7* | 2022 |
Trident: Controlling side effects in automated program repair N Parasaram, ET Barr, S Mechtaev IEEE Transactions on Software Engineering 48 (12), 4717-4732, 2021 | 5 | 2021 |
Efficiently Scrapping Boilerplate Code in OCaml D Boulytchev, S Mechtaev Workshop on ML 4, 127-145, 2011 | 5* | 2011 |
User-Centric Deployment of Automated Program Repair at Bloomberg D Williams, J Callan, S Kirbas, S Mechtaev, J Petke, T Prideaux-Ghee, ... Proceedings of the 46th International Conference on Software Engineering …, 2024 | 2 | 2024 |
Program Repair Guided by Datalog-Defined Static Analysis Y Liu, S Mechtaev, P Subotić, A Roychoudhury Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
Precise Data-Driven Approximation for Program Analysis via Fuzzing N Parasaram, ET Barr, S Mechtaev, M Böhme 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 2 | 2023 |
Use of General Repair Tool for Fixing Security Vulnerabilities EL Tjiong, S Mechtaev, HB Dirgantara 2022 International Conference on Information Technology Research and …, 2022 | 2 | 2022 |
Modus: a Datalog dialect for building container images C Tomy, T Wang, ET Barr, S Mechtaev Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 2 | 2022 |
Semantic Program Repair S Mechtaev PhD thesis. National University of Singapore, 2018 | 2 | 2018 |