Synthesizing program input grammars

Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang. Synthesizing program input grammars. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 95-110, ACM, 2017. [doi]

@inproceedings{Bastani0AL17,
  title = {Synthesizing program input grammars},
  author = {Osbert Bastani and Rahul Sharma 0001 and Alex Aiken and Percy Liang},
  year = {2017},
  doi = {10.1145/3062341.3062349},
  url = {http://doi.acm.org/10.1145/3062341.3062349},
  researchr = {https://researchr.org/publication/Bastani0AL17},
  cites = {0},
  citedby = {0},
  pages = {95-110},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
  editor = {Albert Cohen 0001 and Martin T. Vechev},
  publisher = {ACM},
  isbn = {978-1-4503-4988-8},
}