Path-based inductive synthesis for program inversion (2011)

by Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhari, Jeffrey S Foster
Venue:In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI