Path-based Inductive Synthesis for Program Inversion

by Saurabh Srivastava , Sumit Gulwani , Swarat Chaudhuri , Jeffrey S. Foster
Citations:15 - 6 self