{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:26Z","timestamp":1775873546328,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the Laboratory for Telecommunication Sciences","award":["partnership between UMIACS and LTS"],"award-info":[{"award-number":["partnership between UMIACS and LTS"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1139021, -1139056, -1161775"],"award-info":[{"award-number":["CCF-1139021, -1139056, -1161775"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2786805.2803189","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"934-937","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["JSketch: sketching for Java"],"prefix":"10.1145","author":[{"given":"Jinseong","family":"Jeon","sequence":"first","affiliation":[{"name":"University of Maryland, USA"}]},{"given":"Xiaokang","family":"Qiu","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, USA"}]},{"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"JSketch: Sketching for Java. CoRR, abs\/1507.03577","author":"Jeon J.","year":"2015","unstructured":"J. Jeon , X. Qiu , J. S. Foster , and A. Solar-Lezama . JSketch: Sketching for Java. CoRR, abs\/1507.03577 , 2015 . J. Jeon, X. Qiu, J. S. Foster, and A. Solar-Lezama. JSketch: Sketching for Java. CoRR, abs\/1507.03577, 2015."},{"key":"e_1_3_2_1_2_1","volume-title":"Synthesizing Framework Models for Symbolic Execution. Unpublished manuscript","author":"Jeon J.","year":"2015","unstructured":"J. Jeon , X. Qiu , J. S. Foster , and A. Solar-Lezama . Synthesizing Framework Models for Symbolic Execution. Unpublished manuscript , 2015 . J. Jeon, X. Qiu, J. S. Foster, and A. Solar-Lezama. Synthesizing Framework Models for Symbolic Execution. Unpublished manuscript, 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"CAV","author":"Jeon J.","year":"2015","unstructured":"J. Jeon , X. Qiu , A. Solar-Lezama , and J. S. Foster . Adaptive Concretization for Parallel Program Synthesis . In CAV , July 2015 . J. Jeon, X. Qiu, A. Solar-Lezama, and J. S. Foster. Adaptive Concretization for Parallel Program Synthesis. In CAV, July 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_6_1","volume-title":"The Sketch Programmers Manual","author":"Solar-Lezama A.","year":"2015","unstructured":"A. Solar-Lezama . The Sketch Programmers Manual , 2015 . Version 1.6.7. A. Solar-Lezama. The Sketch Programmers Manual, 2015. Version 1.6.7."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993557"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_11_1","unstructured":"Introduction Overview Implementation Experience with JSketch Acknowledgments References  Introduction Overview Implementation Experience with JSketch Acknowledgments References"}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Bergamo Italy","acronym":"ESEC\/FSE'15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2803189","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786805.2803189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:26Z","timestamp":1750223246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2803189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":11,"alternative-id":["10.1145\/2786805.2803189","10.1145\/2786805"],"URL":"https:\/\/doi.org\/10.1145\/2786805.2803189","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}