Tihomir Gvero and Viktor Kuncak. Interactive synthesis using free-form queries (tool demonstration). In International Conference on Software Engineering (ICSE), 2015.

[ bib ] Back