When a program fails to process an input, it need not be the program code that is at fault. It
can also be that the input data is faulty, for instance as result of data corruption. To get the …

The automated and semi-automated analysis of source code has remained a topic of
intense research for more than thirty years. During this period, algorithms and techniques for …

We present Prophet, a novel patch generation system that works with a set of successful
human patches obtained from open-source software repositories to learn a probabilistic …

Since debugging is a time-consuming activity, automated program repair tools such as
GenProg have garnered interest. A recent study revealed that the majority of GenProg …

Patch generation is an essential software maintenance task because most software systems
inevitably have bugs that need to be fixed. Unfortunately, human resources are often …

Debugging consumes significant time and effort in any major software development project.
Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given …

This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon
invariant detector reports likely program invariants. An invariant is a property that holds at a …

Automatic program repair has been a longstanding goal in software engineering, yet
debugging remains a largely manual process. We introduce a fully automated method for …

There are more bugs in real-world programs than human programmers can realistically
address. This paper evaluates two research questions:“What fraction of bugs can be …