From program verification to program synthesis (2010)

by S Srivastava, S Gulwani, J S Foster
Venue:In POPL