Interactive Synthesis Using Free-Form Queries (Tool Demonstration)

Citation

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

BibTex Entry

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