From program verification to program synthesis. (2010)

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