@inproceedings{DBLP:conf/icse/JeonQFFS16,
  author       = {Jinseong Jeon and
                  Xiaokang Qiu and
                  Jonathan Fetter{-}Degges and
                  Jeffrey S. Foster and
                  Armando Solar{-}Lezama},
  title        = {Synthesizing framework models for symbolic execution},
  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,
                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages        = {156--167},
  year         = {2016},
  crossref     = {DBLP:conf/icse/2016},
  url          = {https://doi.org/10.1145/2884781.2884856},
  doi          = {10.1145/2884781.2884856},
  timestamp    = {Sun, 19 Jan 2025 13:14:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/JeonQFFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"75e8cqFMHbC74wZBN","bibbaseid":"jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016","downloads":0,"creationDate":"2016-09-17T22:42:12.621Z","title":"Synthesizing framework models for symbolic execution","author_short":["Jeon, J.","Qiu, X.","Fetter-Degges, J.","Foster, J. S.","Solar-Lezama, A."],"year":2016,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jinseong"],"propositions":[],"lastnames":["Jeon"],"suffixes":[]},{"firstnames":["Xiaokang"],"propositions":[],"lastnames":["Qiu"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["Fetter-Degges"],"suffixes":[]},{"firstnames":["Jeffrey","S."],"propositions":[],"lastnames":["Foster"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Synthesizing framework models for symbolic execution","booktitle":"Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016","pages":"156–167","year":"2016","crossref":"DBLP:conf/icse/2016","url":"https://doi.org/10.1145/2884781.2884856","doi":"10.1145/2884781.2884856","timestamp":"Sun, 19 Jan 2025 13:14:44 +0100","biburl":"https://dblp.org/rec/conf/icse/JeonQFFS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icse/JeonQFFS16,\n author = {Jinseong Jeon and\n Xiaokang Qiu and\n Jonathan Fetter{-}Degges and\n Jeffrey S. Foster and\n Armando Solar{-}Lezama},\n title = {Synthesizing framework models for symbolic execution},\n booktitle = {Proceedings of the 38th International Conference on Software Engineering,\n {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},\n pages = {156--167},\n year = {2016},\n crossref = {DBLP:conf/icse/2016},\n url = {https://doi.org/10.1145/2884781.2884856},\n doi = {10.1145/2884781.2884856},\n timestamp = {Sun, 19 Jan 2025 13:14:44 +0100},\n biburl = {https://dblp.org/rec/conf/icse/JeonQFFS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jeon, J.","Qiu, X.","Fetter-Degges, J.","Foster, J. S.","Solar-Lezama, A."],"key":"DBLP:conf/icse/JeonQFFS16","id":"DBLP:conf/icse/JeonQFFS16","bibbaseid":"jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2884781.2884856"},"metadata":{"authorlinks":{"solar-lezama, a":"https://groups.csail.mit.edu/cap/","jeon, j":"http://www.cs.umd.edu/~jsjeon/dblp.html"}},"downloads":0},"search_terms":["synthesizing","framework","models","symbolic","execution","jeon","qiu","fetter-degges","foster","solar-lezama"],"keywords":[],"authorIDs":["GNDG7jN4NcBAe8MZj","sPLnowbQ4HhFxcszm"],"dataSources":["rGuy4xgsrB7zfgooW","EJbQZ5DryKAnqjJXj","5gWsbsooR8f5Eey2m","hu6gnCePSjXrq4RZY","DAnxudWukpMXCtWy8"]}