{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:59Z","timestamp":1775873579306,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T00:00:00Z","timestamp":1499904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,13]]},"DOI":"10.1145\/3092282.3092285","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T13:45:49Z","timestamp":1499953549000},"page":"162-171","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["EdSketch: execution-driven sketching for Java"],"prefix":"10.1145","author":[{"given":"Jinru","family":"Hua","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Rastislav Bod\u00edk Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In FMCAD. 1\u20138. Rajeev Alur Rastislav Bod\u00edk Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In FMCAD. 1\u20138.","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706339"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction to Algorithms (3. ed.)","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms (3. ed.) . MIT Press . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3. ed.). MIT Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009851"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/321420.321422"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Joel Galenson Philip Reames Rastislav Bod\u00edk Bj\u00f6rn Hartmann and Koushik Sen. 2014. ICSE. 653\u2013663. Joel Galenson Philip Reames Rastislav Bod\u00edk Bj\u00f6rn Hartmann and Koushik Sen. 2014. ICSE. 653\u2013663.","DOI":"10.1145\/2568225.2568250"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_11_1","volume-title":"Specification-Based Program Repair Using SAT. In TACAS","author":"Gopinath Divya","year":"2011","unstructured":"Divya Gopinath , Muhammad Zubair Malik , and Sarfraz Khurshid . 2011 . Specification-Based Program Repair Using SAT. In TACAS 2011. 173\u2013188. Divya Gopinath, Muhammad Zubair Malik, and Sarfraz Khurshid. 2011. Specification-Based Program Repair Using SAT. In TACAS 2011. 173\u2013188."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Tihomir Gvero Viktor Kuncak and Ruzica Piskac. 2011. Interactive Synthesis of Code Snippets. In CAV. 418\u2013423. Tihomir Gvero Viktor Kuncak and Ruzica Piskac. 2011. Interactive Synthesis of Code Snippets. In CAV. 418\u2013423.","DOI":"10.1007\/978-3-642-22110-1_33"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_29"},{"key":"e_1_3_2_1_14_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . 2006 . Software Abstractions: Logic, Language, and Analysis . The MIT Press . Daniel Jackson. 2006. Software Abstractions: Logic, Language, and Analysis. The MIT Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803189"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806632"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_21_1","unstructured":"Muhammad Zubair Malik Khalid Ghori Bassem Elkarablieh and Sarfraz Khurshid. 2009. A Case for Automated Debugging Using Data Structure Repair. In ASE. 620\u2013624. Muhammad Zubair Malik Khalid Ghori Bassem Elkarablieh and Sarfraz Khurshid. 2009. A Case for Automated Debugging Using Data Structure Repair. In ASE. 620\u2013624."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025153"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_28_1","volume-title":"Improving constraint-based test input generation using Korat. Master\u2019s thesis","author":"Srinivasan Raghavendra","unstructured":"Raghavendra Srinivasan . 2015. Improving constraint-based test input generation using Korat. Master\u2019s thesis . University of Texas at Austin. Raghavendra Srinivasan. 2015. Improving constraint-based test input generation using Korat. Master\u2019s thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_31_1","volume-title":"Model Checking Programs. In ASE","author":"Visser Willem","year":"2000","unstructured":"Willem Visser , Klaus Havelund , Guillaume P. Brat , and Seungjoon Park . 2000 . Model Checking Programs. In ASE 2000. 3\u201312. Willem Visser, Klaus Havelund, Guillaume P. Brat, and Seungjoon Park. 2000. Model Checking Programs. In ASE 2000. 3\u201312."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092285","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092282.3092285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T16:39:37Z","timestamp":1750610377000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,13]]},"references-count":32,"alternative-id":["10.1145\/3092282.3092285","10.1145\/3092282"],"URL":"https:\/\/doi.org\/10.1145\/3092282.3092285","relation":{},"subject":[],"published":{"date-parts":[[2017,7,13]]},"assertion":[{"value":"2017-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}