Automated Program Repair (APR) aims to help developers automatically patch software
bugs. However, current state-of-the-art traditional and learning-based APR techniques face …

Automated Program Repair (APR) aims to automatically generate patches for buggy
programs. Recent APR work has been focused on leveraging modern Large Language …

Due to the promising future of Automated Program Repair (APR), researchers have
proposed various APR techniques, including heuristic-based, template-based, and …

Automated Program Repair (APR) can help developers automatically generate patches for
bugs. Due to the impressive performance obtained using Large Pre-Trained Language …

Automatic program understanding and generation techniques could significantly advance
the productivity of programmers and have been widely studied by academia and industry …

Formally verifying software is a highly desirable but labor-intensive task. Recent work has
developed methods to automate formal verification using proof assistants, such as Coq and …

Recent advancements in large language models (LLMs) have significantly advanced the
automation of software development tasks, including code synthesis, program repair, and …

With the rapid development and large-scale popularity of program software, modern society
increasingly relies on software systems. However, the problems exposed by software have …

The advancements in machine learning techniques have encouraged researchers to apply
these techniques to a myriad of software engineering tasks that use source code analysis …

Context: Identifying the root cause of a software bug and fixing it is challenging. One reason
for this is that many bugs are not reproducible during bug fixing. Objective: We aim to …