Automated Repair of Declarative Software Specifications in the Era of Large Language Models

MR Hasan, J Li, I Ahmed, H Bagheri - arXiv preprint arXiv:2310.12425, 2023 - arxiv.org
The growing adoption of declarative software specification languages, coupled with their
inherent difficulty in debugging, has underscored the need for effective and automated …

Bounded exhaustive search of alloy specification repairs

SG Brida, G Regis, G Zheng, H Bagheri… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
The rising popularity of declarative languages and the hard to debug nature thereof have
motivated the need for applicable, automated repair techniques for such languages …

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

M Alhanahnah, MR Hasan, H Bagheri - arXiv preprint arXiv:2404.11050, 2024 - arxiv.org
Automatic Program Repair (APR) has garnered significant attention as a practical research
domain focused on automatically fixing bugs in programs. While existing APR techniques …

Atr: Template-based repair for alloy specifications

G Zheng, TV Nguyen, SG Brida, G Regis… - Proceedings of the 31st …, 2022 - dl.acm.org
Automatic Program Repair (APR) is a practical research topic that studies techniques to
automatically repair programs to fix bugs. Most existing APR techniques are designed for …

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

S Gutiérrez Brida, G Regis, G Zheng… - Proceedings of the 37th …, 2022 - dl.acm.org
Automated program repair (APR) techniques have shown great success in automatically
finding fixes for programs in programming languages such as C or Java. In this work, we …

Arepair: a repair framework for alloy

K Wang, A Sullivan, S Khurshid - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
Researchers have proposed many automated program repair techniques for imperative
languages, eg Java. However, little work has been done to repair programs written in …

A Quick Repair Facility for Debugging

SP Reiss, Q Xin - arXiv preprint arXiv:2202.05577, 2022 - arxiv.org
Modern development environments provide a widely used auto-correction facility for quickly
repairing syntactic errors. Auto-correction cannot deal with semantic errors, which are much …

Automated model repair for Alloy

K Wang, A Sullivan, S Khurshid - Proceedings of the 33rd ACM/IEEE …, 2018 - dl.acm.org
Automated program repair is an active research area. However, existing research focuses
mostly on imperative code, eg in Java. In this paper, we study the problem of repairing …

A critical review of large language model on software engineering: An example from chatgpt and automated program repair

Q Zhang, T Zhang, J Zhai, C Fang, B Yu, W Sun… - arXiv preprint arXiv …, 2023 - arxiv.org
Large Language Models (LLMs) have been gaining increasing attention and demonstrated
promising performance across a variety of Software Engineering (SE) tasks, such as …

Debugging declarative models in Alloy

G Zheng, H Bagheri, TV Nguyen - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
Debugging, which involves both fault localization and bug repair, is critical for developers to
identify and remove bugs in a program. Most existing debugging research techniques focus …