DirectFix: Looking for Simple Program Repairs. - Sergey Mechtaev; Jooyong Yi; Abhik Roychoudhury (ICSE (1), 2015)

Angelix: scalable multiline program patch synthesis via symbolic analysis. - Sergey Mechtaev; Jooyong Yi; Abhik Roychoudhury (ICSE, 2016)

Codeflaws: a programming competition benchmark for evaluating automated program repair tools. - Shin Hwei Tan; Jooyong Yi; Yulis; Sergey Mechtaev; Abhik Roychoudhury (ICSE (Companion Volume), 2017)

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. - Sergey Mechtaev; Xiang Gao 012; Shin Hwei Tan; Abhik Roychoudhury (CoRR, 2017)

Semantic program repair using a reference implementation. - Sergey Mechtaev; Manh-Dung Nguyen; Yannic Noller; Lars Grunske; Abhik Roychoudhury (ICSE, 2018)

Symbolic execution with existential second-order constraints. - Sergey Mechtaev; Alberto Griggio; Alessandro Cimatti; Abhik Roychoudhury (ESEC/SIGSOFT FSE, 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)

Test-Equivalence Analysis for Automatic Patch Generation. - Sergey Mechtaev; Xiang Gao 012; Shin Hwei Tan; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2018)

Crash-avoiding program repair. - Xiang Gao 012; Sergey Mechtaev; Abhik Roychoudhury (ISSTA, 2019)

Re-Factoring Based Program Repair Applied to Programming Assignments. - Yang Hu; Umair Z. Ahmed; Sergey Mechtaev; Ben Leong; Abhik Roychoudhury (ASE, 2019)

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. - Jiang Zhang; Ivan Beschastnikh; Sergey Mechtaev; Abhik Roychoudhury (CoRR, 2020)

Fair Decision Making via Automated Repair of Decision Trees. - Jiang Zhang; Ivan Beschastnikh; Sergey Mechtaev; Abhik Roychoudhury (FairWare@ICSE, 2022)

Modus: a Datalog dialect for building container images. - Chris Tomy; Tingmao Wang; Earl T. Barr; Sergey Mechtaev (ESEC/SIGSOFT FSE, 2022)

Evaluating Automatic Program Repair Capabilities to Repair API Misuses. - Maria Kechagia; Sergey Mechtaev; Federica Sarro; Mark Harman (IEEE Trans. Software Eng., 2022)

Trident: Controlling Side Effects in Automated Program Repair. - Nikhil Parasaram; Earl T. Barr; Sergey Mechtaev (IEEE Trans. Software Eng., 2022)

Efficient SMT-Based Network Fault Tolerance Verification. - Yu Liu; Pavle Subotic; Emmanuel Letier; Sergey Mechtaev; Abhik Roychoudhury (FM, 2023)

International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. - Shin Hwei Tan; Dongsun Kim; Sergey Mechtaev; Yuriy Brun (APR@ICSE, 2023)

Continuously Accelerating Research. - Earl T. Barr; Jonathan Bell 001; Michael Hilton; Sergey Mechtaev; Christopher Steven Timperley (ICSE (NIER), 2023)

Rete: Learning Namespace Representation for Program Repair. - Nikhil Parasaram; Earl T. Barr; Sergey Mechtaev (ICSE, 2023)

Precise Data-Driven Approximation for Program Analysis via Fuzzing. - Nikhil Parasaram; Earl T. Barr; Sergey Mechtaev; Marcel Böhme (ASE, 2023)

Program Repair Guided by Datalog-Defined Static Analysis. - Yu Liu; Sergey Mechtaev; Pavle Subotic; Abhik Roychoudhury (ESEC/SIGSOFT FSE, 2023)

F1X at APR-COMP 2024. - Sergey Mechtaev; Shin Hwei Tan (APR, 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 (ICSE-SEIP, 2024)

Oracle-Guided Program Selection from Large Language Models. - Zhiyu Fan; Haifeng Ruan; Sergey Mechtaev; Abhik Roychoudhury (ISSTA, 2024)

Llm-Assisted Crossover in Genetic Improvement of Software. - Dimitrios Stamatios Bouras; Sergey Mechtaev; Justyna Petke (GI@ICSE, 2025)

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 (ICSE, 2025)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. - Dimitrios Stamatios Bouras; Yihan Dai; Tairan Wang; Yingfei Xiong 001; Sergey Mechtaev (CoRR, 2025)

Automated Repair of Ambiguous Natural Language Requirements. - Haoxiang Jia; Robbie Morris; He Ye; Federica Sarro; Sergey Mechtaev (CoRR, 2025)