@article{DBLP:journals/cacm/AlurSFS18,
  author       = {Rajeev Alur and
                  Rishabh Singh and
                  Dana Fisman and
                  Armando Solar{-}Lezama},
  title        = {Search-based program synthesis},
  journal      = {Commun. {ACM}},
  volume       = {61},
  number       = {12},
  pages        = {84--93},
  year         = {2018},
  url          = {https://doi.org/10.1145/3208071},
  doi          = {10.1145/3208071},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"R8Mfxh6CvLrZcgPs7","bibbaseid":"alur-singh-fisman-solarlezama-searchbasedprogramsynthesis-2018","author_short":["Alur, R.","Singh, R.","Fisman, D.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Alur"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Fisman"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Search-based program synthesis","journal":"Commun. ACM","volume":"61","number":"12","pages":"84–93","year":"2018","url":"https://doi.org/10.1145/3208071","doi":"10.1145/3208071","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/cacm/AlurSFS18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/cacm/AlurSFS18,\n author = {Rajeev Alur and\n Rishabh Singh and\n Dana Fisman and\n Armando Solar{-}Lezama},\n title = {Search-based program synthesis},\n journal = {Commun. {ACM}},\n volume = {61},\n number = {12},\n pages = {84--93},\n year = {2018},\n url = {https://doi.org/10.1145/3208071},\n doi = {10.1145/3208071},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alur, R.","Singh, R.","Fisman, D.","Solar-Lezama, A."],"key":"DBLP:journals/cacm/AlurSFS18","id":"DBLP:journals/cacm/AlurSFS18","bibbaseid":"alur-singh-fisman-solarlezama-searchbasedprogramsynthesis-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3208071"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["BD7bKLMmjzry4ihss","rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["search","based","program","synthesis","alur","singh","fisman","solar-lezama"],"title":"Search-based program synthesis","year":2018}