list | abstracts | bib ]

Interactive Synthesis Using Free-Form Queries (Tool Demonstration)

paper pdf   


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

BibTex Entry

  author = {Tihomir Gvero and Viktor Kuncak},
  title = {Interactive Synthesis Using Free-Form Queries (Tool Demonstration)},
  booktitle = {International Conference on Software Engineering ({ICSE})},
  year = 2015,
  localurl = {}

list | abstracts | bib ]