Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster. Path-based inductive synthesis for program inversion. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 492-503, ACM, 2011. [doi]
Abstract is missing.