Reference:

Christian Kern. Automatic error correction of java programs. In AlgoSyn, page 155, 2010.

Suggested BibTeX entry:

@inproceedings{DBLP:confdagstuhlKern10,
    author = {Christian Kern},
    booktitle = {AlgoSyn},
    pages = {155},
    title = {Automatic Error Correction of Java Programs},
    year = {2010}
}