@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.}
}
