This article presents a survey on automatic software repair. Automatic software repair
consists of automatically finding a solution to software bugs without human intervention. This …

Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

Automated program repair (APR) has great potential to reduce bug-fixing effort and many
approaches have been proposed in recent years. APRs are often treated as a search …

A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

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 …

Software models typically contain many inconsistencies and consistency checkers help
engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better …

Automatic bug fixing has become a promising direction for reducing manual effort in
debugging. However, general approaches to automatic bug fixing may face some …

Recurring bugs are common in software systems, especially in client programs that depend
on the same framework. Existing research uses human-written templates, and is limited to …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

To prevent ill-formed configurations, highly configurable software often allows defining
constraints over the available options. As these constraints can be complex, fixing a …