{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:52:09Z","timestamp":1782877929450,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"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":["CNS-1513939, CNS-1564274, CCF-1816615, TWC-1409915"],"award-info":[{"award-number":["CNS-1513939, CNS-1564274, CCF-1816615, TWC-1409915"]}],"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":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338958","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"488-498","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["REINAM: reinforcement learning for input-grammar inference"],"prefix":"10.1145","author":[{"given":"Zhengkai","family":"Wu","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evan","family":"Johnson","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Osbert","family":"Bastani","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawn","family":"Song","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jian","family":"Peng","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/www.adobe.com\/devnet\/pdf\/pdf_reference.html","author":"Reference PDF","year":"2010","unstructured":"2009. PDF Reference . https:\/\/www.adobe.com\/devnet\/pdf\/pdf_reference.html 2010 . Norvig Lisp. http:\/\/norvig.com\/lispy.html 2010. What is a good regular expression to match a 2015. Grammar of CSS. https:\/\/www.w3.org\/TR\/CSS21\/grammar.html 2015. XML standard. https:\/\/www.w3.org\/standards\/xml\/core 2018. ANTLR. https:\/\/www.antlr3.org\/ 2018. GNU Grep. https:\/\/www.gnu.org\/software\/grep\/ 2019. CSV grammar. http:\/\/www.harward.us\/~nharward\/antlr\/csv.g 2019. First Order Logic grammar. https:\/\/www.antlr3.org\/grammar\/ 1336156363937\/FOL.g 2019. Radamsa. https:\/\/gitlab.com\/akihe\/radamsa 2009. PDF Reference. https:\/\/www.adobe.com\/devnet\/pdf\/pdf_reference.html 2010. Norvig Lisp. http:\/\/norvig.com\/lispy.html 2010. What is a good regular expression to match a 2015. Grammar of CSS. https:\/\/www.w3.org\/TR\/CSS21\/grammar.html 2015. XML standard. https:\/\/www.w3.org\/standards\/xml\/core 2018. ANTLR. https:\/\/www.antlr3.org\/ 2018. GNU Grep. https:\/\/www.gnu.org\/software\/grep\/ 2019. CSV grammar. http:\/\/www.harward.us\/~nharward\/antlr\/csv.g 2019. First Order Logic grammar. https:\/\/www.antlr3.org\/grammar\/ 1336156363937\/FOL.g 2019. Radamsa. https:\/\/gitlab.com\/akihe\/radamsa"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the International Conference on Computer Aided Verification. Springer, 116\u2013131","author":"Babi\u0107 Domagoj","year":"2011","unstructured":"Domagoj Babi\u0107 , Daniel Reynaud , and Dawn Song . 2011 . Malware analysis with tree automata inference . In Proceedings of the International Conference on Computer Aided Verification. Springer, 116\u2013131 . Domagoj Babi\u0107, Daniel Reynaud, and Dawn Song. 2011. Malware analysis with tree automata inference. In Proceedings of the International Conference on Computer Aided Verification. Springer, 116\u2013131."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062349"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645519.655810"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429123"},{"key":"e_1_3_2_1_8_1","volume-title":"Deep reinforcement fuzzing. CoRR abs\/1801.04589","author":"B\u00f6ttinger Konstantin","year":"2018","unstructured":"Konstantin B\u00f6ttinger , Patrice Godefroid , and Rishabh Singh . 2018. Deep reinforcement fuzzing. CoRR abs\/1801.04589 ( 2018 ). arXiv: 1801.04589 http: \/\/arxiv.org\/abs\/1801.04589 Konstantin B\u00f6ttinger, Patrice Godefroid, and Rishabh Singh. 2018. Deep reinforcement fuzzing. CoRR abs\/1801.04589 (2018). arXiv: 1801.04589 http: \/\/arxiv.org\/abs\/1801.04589"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315286"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155573"},{"key":"e_1_3_2_1_13_1","volume-title":"Active learning of input grammars. arXiv preprint arXiv:1708.08731","author":"H\u00f6schele Matthias","year":"2017","unstructured":"Matthias H\u00f6schele , Alexander Kampmann , and Andreas Zeller . 2017. Active learning of input grammars. arXiv preprint arXiv:1708.08731 ( 2017 ). Matthias H\u00f6schele, Alexander Kampmann, and Andreas Zeller. 2017. Active learning of input grammars. arXiv preprint arXiv:1708.08731 (2017)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022644732619"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106295"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321653"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_21_1","volume-title":"Playing Atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602","author":"Mnih Volodymyr","year":"2013","unstructured":"Volodymyr Mnih , Koray Kavukcuoglu , David Silver , Alex Graves , Ioannis Antonoglou , Daan Wierstra , and Martin Riedmiller . 2013. Playing Atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602 ( 2013 ). Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Alex Graves, Ioannis Antonoglou, Daan Wierstra, and Martin Riedmiller. 2013. Playing Atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602 (2013)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Oncina and Pedro Garcia. 1992. Identifying regular languages in polynomial time. In Advances in Structural and Syntactic Pattern Recognition. World Scientific 99\u2013108.  Jos\u00e9 Oncina and Pedro Garcia. 1992. Identifying regular languages in polynomial time. In Advances in Structural and Syntactic Pattern Recognition. World Scientific 99\u2013108.","DOI":"10.1142\/9789812797919_0007"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949402"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297072"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1141"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of Advances in Neural Information Processing Systems. 1057\u20131063","author":"Sutton Richard S","year":"2000","unstructured":"Richard S Sutton , David A McAllester , Satinder P Singh , and Yishay Mansour . 2000 . Policy gradient methods for reinforcement learning with function approximation . In Proceedings of Advances in Neural Information Processing Systems. 1057\u20131063 . Richard S Sutton, David A McAllester, Satinder P Singh, and Yishay Mansour. 2000. Policy gradient methods for reinforcement learning with function approximation. In Proceedings of Advances in Neural Information Processing Systems. 1057\u20131063."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015489"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Tallinn Estonia","acronym":"ESEC\/FSE '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338958","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:21Z","timestamp":1750206381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":29,"alternative-id":["10.1145\/3338906.3338958","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338958","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}