Accelerating search-based program synthesis using learned probabilistic models
Angelix: scalable multiline program patch synthesis via symbolic analysis