{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:49:49Z","timestamp":1782877789088,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1160904"],"award-info":[{"award-number":["CCF-1160904"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA84750-14-2-0006"],"award-info":[{"award-number":["FA84750-14-2-0006"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062349","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"95-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":79,"title":["Synthesizing program input grammars"],"prefix":"10.1145","author":[{"given":"Osbert","family":"Bastani","sequence":"first","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rahul","family":"Sharma","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Percy","family":"Liang","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"950","volume-title":"Computer Aided Verification","author":"Albarghouthi A."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390662"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_32"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429123"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"A. S. Boujarwah and K. Saleh. Compiler test case generation methods: a survey and assessment. Information and software technology 39(9):617\u2013625 1997.  A. S. Boujarwah and K. Saleh. Compiler test case generation methods: a survey and assessment. Information and software technology 39(9):617\u2013625 1997.","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315286"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_10_1","first-page":"224","volume-title":"OSDI","volume":"8","author":"Cadar C.","year":"2008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_12_1","first-page":"154","volume-title":"USENIX Security Symposium","author":"Cho C. Y.","year":"2011"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1830440"},{"key":"e_1_3_2_1_15_1","unstructured":"ECMA International. Standard ECMA-262: ECMA 2015 Language Specification. 6 edition June 2015.  ECMA International. Standard ECMA-262: ECMA 2015 Language Specification. 6 edition June 2015."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_17_1","first-page":"68","volume-title":"Proceedings of the 4th USENIX Windows System Symposium","author":"Forrester J. E."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_18"},{"key":"e_1_3_2_1_20_1","unstructured":"GNU. Gnu bison. https:\/\/www.gnu.org\/software\/ bison 2014.  GNU. Gnu bison. https:\/\/www.gnu.org\/software\/ bison 2014."},{"key":"e_1_3_2_1_21_1","unstructured":"GNU Grep. https:\/\/www.gnu.org\/software\/grep\/ manual 2016.  GNU Grep. https:\/\/www.gnu.org\/software\/grep\/ manual 2016."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_24_1","first-page":"166","volume-title":"NDSS","volume":"8","author":"Godefroid P.","year":"2008"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"e_1_3_2_1_28_1","first-page":"458","volume-title":"Presented as part of the 21st USENIX Security Symposium (USENIX Security 12)","author":"Holler C.","year":"2012"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"key":"e_1_3_2_1_30_1","first-page":"891","volume-title":"Advances in Neural Information Processing Systems","author":"Huang L.","year":"2010"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022644732619"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(76)80003-4"},{"key":"e_1_3_2_1_33_1","volume-title":"Harvard University","author":"Lee L.","year":"1996"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738002"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453114"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.54"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085132"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321653"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145743"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103701"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_43_1","unstructured":"P. Norvig. http:\/\/norvig.com\/lispy.html 2010.  P. Norvig. http:\/\/norvig.com\/lispy.html 2010."},{"issue":"99","key":"e_1_3_2_1_44_1","first-page":"15","article-title":"Identifying regular languages in polynomial time","volume":"5","author":"Oncina J.","journal-title":"Advances in Structural and Syntactic Pattern Recognition"},{"key":"e_1_3_2_1_45_1","unstructured":"Oracle America Inc. The Java TM Virtual Machine Specification. 7 edition July 2011.  Oracle America Inc. The Java TM Virtual Machine Specification. 7 edition July 2011."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594297"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949402"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297072"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460869"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_44"},{"key":"e_1_3_2_1_54_1","volume-title":"Information Processing. Unesco","author":"Solomonoff R. J.","year":"1960"},{"key":"e_1_3_2_1_55_1","unstructured":"Stack Overflow. http:\/\/ stackoverflow.com\/questions\/3809401\/ what-is-a-good-regular-expression-to-match-a-url 2010.  Stack Overflow. http:\/\/ stackoverflow.com\/questions\/3809401\/ what-is-a-good-regular-expression-to-match-a-url 2010."},{"key":"e_1_3_2_1_56_1","unstructured":"A. Stolcke. Bayesian learning of probabilistic language models. PhD thesis.   A. Stolcke. Bayesian learning of probabilistic language models. PhD thesis."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"A. Stolcke and S. Omohundro. Inducing probabilistic grammars by bayesian model merging. Grammatical inference and applications pages 106\u2013118 1994.   A. Stolcke and S. Omohundro. Inducing probabilistic grammars by bayesian model merging. Grammatical inference and applications pages 106\u2013118 1994.","DOI":"10.1007\/3-540-58473-0_141"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111070"},{"key":"e_1_3_2_1_59_1","volume-title":"Blackhat USA conference","author":"Sutton M.","year":"2005"},{"key":"e_1_3_2_1_60_1","volume-title":"Pearson Education","author":"Sutton M.","year":"2007"},{"key":"e_1_3_2_1_61_1","unstructured":"The Flex Project. Flex: The fast lexical analyzer. http: \/\/flex.sourceforge.net 2008.  The Flex Project. Flex: The fast lexical analyzer. http: \/\/flex.sourceforge.net 2008."},{"key":"e_1_3_2_1_62_1","first-page":"289","volume-title":"International Conference on Formal Engineering Methods","author":"Vardhan A."},{"key":"e_1_3_2_1_63_1","volume-title":"WOOT","author":"Viide J.","year":"2008"},{"key":"e_1_3_2_1_64_1","unstructured":"W3C. https:\/\/www.w3.org\/TR\/2008\/ REC-xml-20081126 2008.  W3C. https:\/\/www.w3.org\/TR\/2008\/ REC-xml-20081126 2008."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"},{"key":"e_1_3_2_1_66_1","first-page":"14","volume-title":"NDSS","volume":"8","author":"Wondracek G.","year":"2008"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_68_1","unstructured":"M. Zalewski. American fuzzy lop. http:\/\/lcamtuf. coredump.cx\/afl 2015.  M. Zalewski. American fuzzy lop. http:\/\/lcamtuf. coredump.cx\/afl 2015."}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062349","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062349","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062349"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":68,"alternative-id":["10.1145\/3062341.3062349","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062349","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062349","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}