Sergey Mechtaev

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Topics

Equivalence Class

Static Analysis

Communication Services

Top Venues

ESEC/SIGSOFT FSE

Publications

Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev
The Fact Selection Problem in LLM-Based Program Repair. CoRR (2024)
David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro
User-Centric Deployment of Automated Program Repair at Bloomberg. ICSE-SEIP (2024)
Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun
International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. APR@ICSE (2023)
Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE (2023)
Earl T. Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Steven Timperley
Continuously Accelerating Research. ICSE (NIER) (2023)
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme
Precise Data-Driven Approximation for Program Analysis via Fuzzing. ASE (2023)
David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro
User-Centric Deployment of Automated Program Repair at Bloomberg. CoRR (2023)
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
Rete: Learning Namespace Representation for Program Repair. ICSE (2023)
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
Efficient SMT-Based Network Fault Tolerance Verification. FM (2023)
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
Trident: Controlling Side Effects in Automated Program Repair. IEEE Trans. Software Eng. 48 (12) (2022)
Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev
Modus: a Datalog dialect for building container images. ESEC/SIGSOFT FSE (2022)
Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman
Evaluating Automatic Program Repair Capabilities to Repair API Misuses. IEEE Trans. Software Eng. 48 (7) (2022)
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE (2022)
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR (2020)
Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
Crash-avoiding program repair. ISSTA (2019)
Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
Re-Factoring Based Program Repair Applied to Programming Assignments. ASE (2019)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. ICSE (2018)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. 23 (5) (2018)
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. 27 (4) (2018)
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE (2018)
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Semantic program repair using a reference implementation. ICSE (2018)
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR (2017)
Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) (2017)
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE (2016)
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
DirectFix: Looking for Simple Program Repairs. ICSE (1) (2015)