Interactive synthesis using free-form queries. (2015)

by Tihomir Gvero, Viktor Kuncak
Venue:In Proceedings of the 37th International Conference on Software Engineering - Volume 2, ICSE ’15,