Tree2Tree Neural Translation Model for Learning Source Code Changes
Angelix: scalable multiline program patch synthesis via symbolic analysis