A simple inductive synthesis methodology and its applications.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Browse the full OOPSLA paper archive.