Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev: Refactoring with synthesis. OOPSLA 2013: 339-354