Towards API-specific automatic program repair
Angelix: scalable multiline program patch synthesis via symbolic analysis