From Program Verification to Program Synthesis (2010)

by S Srivastava, S Gulwani, J S Foster
Venue:In: Proc. 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages