{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:57:13Z","timestamp":1730257033184,"version":"3.28.0"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/icse-nier55298.2022.9793523","type":"proceedings-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T17:06:24Z","timestamp":1655139984000},"page":"41-45","source":"Crossref","is-referenced-by-count":0,"title":["Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers"],"prefix":"10.1109","author":[{"given":"Michael","family":"Schroder","sequence":"first","affiliation":[{"name":"TU Wien,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Cito","sequence":"additional","affiliation":[{"name":"TU Wien and Meta Platforms, Inc.,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The art science and engineering of fuzzing A survey","year":"2019","author":"manes","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814304"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2736348"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070547"},{"key":"ref30","first-page":"347","author":"johnson","year":"1990","journal-title":"Yacc A Parser Generator UNIX Vol II Research System (1990)"},{"key":"ref37","first-page":"100","author":"macqueen","year":"2020","journal-title":"The History of Standard ML Proc ACM Program Lang 4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241364"},{"journal-title":"Parsec Direct Style Monadic Parser Combinators for the Real World","year":"2001","author":"leijen","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.2012.0077"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/357980.357986"},{"article-title":"Refinement Types: A Tutorial","year":"2020","author":"jhala","key":"ref29"},{"key":"ref2","first-page":"319","volume":"4","author":"angluin","year":"1987","journal-title":"Queries and Concept Learning Mach Learn 2"},{"year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68954-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409679"},{"key":"ref24","first-page":"38","article-title":"Fuzzing with Code Fragments","author":"holler","year":"2012","journal-title":"Proceedings of the 21st USENIX Conference on Security Symposium (Bellevue WA) (Security’12)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00031"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"article-title":"Introduction to Automata Theory, Languages, and Computation","year":"1979","author":"hopcroft","key":"ref25"},{"journal-title":"How to exploit parser differentials","year":"2020","author":"schneeweisz","key":"ref50"},{"journal-title":"Program Synthesis by Sketching","year":"2008","author":"solar-lezama","key":"ref51"},{"key":"ref56","article-title":"The Fuzzing Book","author":"zeller","year":"2021","journal-title":"CISPA Helmholtz Center for Information Security"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00021"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297086"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/363347.363387"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454066"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503290"},{"key":"ref40","first-page":"28","author":"mayer","year":"2018","journal-title":"Bidirectional Evaluation with Direct Manipulation Proc ACM Program Lang 2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5234"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2005.01.003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(79)80019-X"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000417"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(84)80037-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"ref3","first-page":"336","volume":"2","author":"angluin","year":"1995","journal-title":"When Won’t Membership Queries Help? J Comput System Sci 50"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062349"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635891"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1515\/9783112316009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/97435.97987"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2222000"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(59)90362-6"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"ref45","first-page":"789","volume":"7","author":"parr","year":"1995","journal-title":"ANTLR A predicated-LL (k) parser generator Software Practice and Experience 25"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2004.1357803"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386001"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2016.019"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384689"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2013.06.001"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.ic.2004.03.006","volume":"1","author":"okhotin","year":"2004","journal-title":"Boolean grammars Information and Computation 194"}],"event":{"name":"2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)","start":{"date-parts":[[2022,5,22]]},"location":"Pittsburgh, PA, USA","end":{"date-parts":[[2022,5,24]]}},"container-title":["2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9793505\/9793506\/09793523.pdf?arnumber=9793523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T16:09:27Z","timestamp":1656950967000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9793523\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/icse-nier55298.2022.9793523","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}