@conference {14280, title = {From program verification to program synthesis}, booktitle = {ACM SIGPLAN Notices}, volume = {45}, year = {2010}, month = {2010///}, pages = {313 - 326}, author = {Srivastava,S. and Gulwani,S. and Foster, Jeffrey S.} }