Path-based inductive synthesis for program inversion.

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster

Browse the full PLDI paper archive.