Refactoring with synthesis.

Veselin Raychev, Max Schfer, Manu Sridharan, Martin T. Vechev

Browse the full OOPSLA paper archive.