Refactoring with synthesis (2013)

by Veselin Raychev, Max Schäfer, Manu Sridharan, Martin Vechev
Venue:In OOPSLA