We present a new system, Genesis, that processes human patches to automatically infer
code transforms for automatic patch generation. We present results that characterize the …

Given a Kripke structure M and CTL formula φ, where M does not satisfy φ, the problem of
Model Repair is to obtain a new model M'such that M'satisfies φ. Moreover, the changes …

Software systems are often shipped and deployed with both known and unknown bugs. On-
the-fly program repairs, which handle runtime errors and allow programs to continue …

Specifications are key to improving software reliability as well as documenting precisely the
intended behavior of software. Writing specifications is still perceived as expensive. Of …

We present a new system, Genesis, that processes sets of human patches to automatically
infer code transforms and search spaces for automatic patch generation. We present results …

During the last decade, we are witnessing the advent of a proliferation of techniques and
associated tools for automatic program repair (APR). The current techniques and tools …

Data structure repair has been proposed as an error recovery mechanism to increase
software resilience when errors happen at runtime for a deployed system. Although …

This volume contains the proceedings of the 2013 International Conference on Runtime
Verification (RV 2013), held in Rennes, France, during September 24–27. RV 2013 was is …

Modern software systems rely on automated testing and reliability techniques to detect bugs
during development and to make the system resilient to runtime failures. Logical constraints …

Using a traditional debugging environment, a programmer has to manually trace the
execution of the program. On finding a corrupted program state, the programmer has to …