Seguir
Sergey Mechtaev
Sergey Mechtaev
Dirección de correo verificada de pku.edu.cn - Página principal
Título
Citado por
Citado por
Año
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
6862016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
3662015
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
1812017
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
1182018
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
1132019
Crash-avoiding program repair
X Gao, S Mechtaev, A Roychoudhury
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
842019
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
662018
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
602018
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
452018
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
392021
Rete: Learning namespace representation for program repair
N Parasaram, ET Barr, S Mechtaev
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
17*2023
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
102023
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
10*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
72021
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
52024
Efficiently Scrapping Boilerplate Code in OCaml
D Boulytchev, S Mechtaev
Workshop on ML 4, 127-145, 2011
5*2011
The Fact Selection Problem in LLM-Based Program Repair
N Parasaram, H Yan, B Yang, Z Flahy, A Qudsi, D Ziaber, E Barr, ...
arXiv preprint arXiv:2404.05520, 2024
42024
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
22023
Use of General Repair Tool for Fixing Security Vulnerabilities
EL Tjiong, S Mechtaev, HB Dirgantara
2022 International Conference on Information Technology Research and …, 2022
22022
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
22022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20