The living review on automated program repair
M Monperrus - 2018 - hal.science
Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …
Automated Repair of Declarative Software Specifications in the Era of Large Language Models
The growing adoption of declarative software specification languages, coupled with their
inherent difficulty in debugging, has underscored the need for effective and automated …
inherent difficulty in debugging, has underscored the need for effective and automated …
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
G Wu, A Sullivan - Proceedings of the ACM/IEEE 27th International …, 2024 - dl.acm.org
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties to automated testing and debugging of system …
correction of design-level properties to automated testing and debugging of system …
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Logic programs are a powerful approach for solving NP-Hard problems. However, due to
their declarative nature, debugging logic programs poses significant challenges. Unlike …
their declarative nature, debugging logic programs poses significant challenges. Unlike …
Mutation Testing for Temporal Alloy Models
A Jovanovic, A Sullivan - 2023 ACM/IEEE 26th International …, 2023 - ieeexplore.ieee.org
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties before systems are built, to automated testing and …
correction of design-level properties before systems are built, to automated testing and …
Assessing the impact of hints in learning formal specification
Background: Many programming environments include automated feedback in the form of
hints to help novices learn autonomously. Some experimental studies investigated the …
hints to help novices learn autonomously. Some experimental studies investigated the …
Empirically Exploring How Novices Write Software Models in Alloy
A Jovanovic, A Sullivan - arXiv preprint arXiv:2402.06624, 2024 - arxiv.org
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties before systems are built, to automated testing and …
correction of design-level properties before systems are built, to automated testing and …
Mutation testing for temporal alloy models (extended version)
A Jovanovic, A Sullivan - Software and Systems Modeling, 2024 - Springer
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties before systems are built, to automated testing and …
correction of design-level properties before systems are built, to automated testing and …
Integrating Testing into the Alloy Model Development Workflow
A Sullivan - 2023 ACM/IEEE 26th International Conference on …, 2023 - ieeexplore.ieee.org
Software models help improve the reliability of software systems: models can convey
requirements, and can analyze design and implementation properties. A key strength of …
requirements, and can analyze design and implementation properties. A key strength of …
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Automatic Program Repair (APR) has garnered significant attention as a practical research
domain focused on automatically fixing bugs in programs. While existing APR techniques …
domain focused on automatically fixing bugs in programs. While existing APR techniques …