"From program verification to program synthesis."

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics