Oracle-guided component-based program synthesis. Jha, S., Gulwani, S., Seshia, S. A., & Tiwari, A. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, of ICSE '10, pages 215–224, New York, NY, USA, May, 2010. Association for Computing Machinery.
Oracle-guided component-based program synthesis [link]Paper  doi  bibtex   

Downloads: 0