Automatic patch generation by learning correct code.

Fan Long, Martin C. Rinard

Browse the full POPL paper archive.