Angelix: scalable multiline program patch synthesis via symbolic analysis.

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Browse the full ICSE paper archive.