Sergey Mechtaev

According to our database, Sergey Mechtaev authored at least 25 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Fact Selection Problem in LLM-Based Program Repair.

Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev

CoRR, 2024

Oracle-Guided Program Selection from Large Language Models.

Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

User-Centric Deployment of Automated Program Repair at Bloomberg.

David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

F1X at APR-COMP 2024.

Sergey Mechtaev, Shin Hwei Tan

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023

Program Repair Guided by Datalog-Defined Static Analysis.

Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Precise Data-Driven Approximation for Program Analysis via Fuzzing.

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Rete: Learning Namespace Representation for Program Repair.

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Continuously Accelerating Research.

Earl T. Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Steven Timperley

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs.

Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2023

Efficient SMT-Based Network Fault Tolerance Verification.

Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Trident: Controlling Side Effects in Automated Program Repair.

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev

IEEE Trans. Software Eng., 2022

Evaluating Automatic Program Repair Capabilities to Repair API Misuses.

Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman

IEEE Trans. Software Eng., 2022

Modus: a Datalog dialect for building container images.

Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Fair Decision Making via Automated Repair of Decision Trees.

Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the 2nd IEEE/ACM International Workshop on Equitable Data & Technology, 2022

2020

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests.

Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury

CoRR, 2020

2019

Re-Factoring Based Program Repair Applied to Programming Assignments.

Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Crash-avoiding program repair.

Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Test-Equivalence Analysis for Automatic Patch Generation.

Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2018

A correlation study between automated program repair and test-suite metrics.

Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury

Empir. Softw. Eng., 2018

Symbolic execution with existential second-order constraints.

Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Semantic program repair using a reference implementation.

Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.

Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury

CoRR, 2017

Codeflaws: a programming competition benchmark for evaluating automated program repair tools.

Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Angelix: scalable multiline program patch synthesis via symbolic analysis.

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

DirectFix: Looking for Simple Program Repairs.

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015