A simple inductive synthesis methodology and its applications (2010)

by S Itzhaky, S Gulwani, N Immerman, M Sagiv
Venue:In OOPSLA