Learning a Static Analyzer from Data. - Bielik, Pavol; Raychev, Veselin; Vechev, Martin T. (2017)