Прати
Sergey Mechtaev
Sergey Mechtaev
Верификована је имејл адреса на pku.edu.cn - Почетна страница
Наслов
Навело
Навело
Година
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
6842016
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
1792017
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
1172019
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
1152018
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
652018
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
592018
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
462018
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
382021
Rete: Learning namespace representation for program repair
N Parasaram, ET Barr, S Mechtaev
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
18*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
8*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
62024
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, ...
International Conference on Software Engineering (ICSE), 2025
42025
Oracle-guided Program Selection from Large Language Models
Z Fan, H Ruan, S Mechtaev, A Roychoudhury
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024
22024
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
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20