Oracle-guided component-based program synthesis.

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari

Browse the full ICSE paper archive.