Reference:

Christian Kern and Javier Esparza. Automatic error correction of java programs. In FMICS, pages 67–81, 2010.

Suggested BibTeX entry:

@inproceedings{DBLP:conffmicsKernE10,
    author = {Christian Kern and Javier Esparza},
    booktitle = {FMICS},
    pages = {67-81},
    title = {Automatic Error Correction of Java Programs},
    year = {2010}
}