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 …

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 …

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 …

There are many repair alternatives for resolving model inconsistencies, each involving one
or more model changes. Enumerating them all could overwhelm the developer because the …

Alloy is a declarative formal modeling language with syntax derived from notations common
to object-oriented design and first-order relational logic semantics. To better understand the …

This paper proposes the first mutation-based technique for the repair of Alloy 6 first-order
temporal logic specifications. This technique was developed with the educational context in …

System goals are the statements that, in the context of software requirements specification,
capture how the software should behave. Many times, the understanding of stakeholders on …

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 …

The growing adoption of declarative software specification languages, coupled with their
inherent difficulty in debugging, has underscored the need for effective and automated …

Constraint-solving is an expensive phase for scenario finding tools. It has been widely
observed that there is no single" dominant" SAT solver that always wins in every case; …