{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:10:45Z","timestamp":1742980245804,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031773815"},{"type":"electronic","value":"9783031773822"}],"license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-77382-2_16","type":"book-chapter","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T19:26:25Z","timestamp":1732562785000},"page":"272-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["GrammarForge: Learning Program Input Grammars for\u00a0Fuzz Testing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6238-6293","authenticated-orcid":false,"given":"Hannes","family":"Sochor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2278-8233","authenticated-orcid":false,"given":"Flavio","family":"Ferrarotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,26]]},"reference":[{"issue":"3","key":"16_CR1","first-page":"114","volume":"13","author":"H Al Salem","year":"2019","unstructured":"Al Salem, H., Song, J.: A review on grammar-based fuzzing techniques. Inter. J. Comput. Sci. Sec. (IJCSS) 13(3), 114\u2013123 (2019)","journal-title":"Inter. J. Comput. Sci. Sec. (IJCSS)"},{"key":"16_CR2","doi-asserted-by":"publisher","unstructured":"Allen, F.E.: Control flow analysis. In: Northcote, R.S. (ed.) Proceedings of a Symposium on Compiler Optimization, Urbana-Champaign, Illinois, USA, 27-28 July 1970, pp. 1\u201319. ACM (1970). https:\/\/doi.org\/10.1145\/800028.808479","DOI":"10.1145\/800028.808479"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00116828","volume":"2","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319\u2013342 (1987)","journal-title":"Mach. Learn."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Bastani, O., Sharma, R., Aiken, A., Liang, P.: Synthesizing program input grammars. In: PLDI, pp. 95\u2013110. ACM (2017)","DOI":"10.1145\/3062341.3062349"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Crepinsek, M., Mernik, M., Bryant, B.R., Javed, F., Sprague, A.P.: Inferring context-free grammars for domain-specific languages. In: Boyland, J., Hedin, G. (eds.) Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2005, Edinburgh, UK, 3 April 2005. ENTCS, vol.\u00a0141, pp. 99\u2013116. Elsevier (2005). https:\/\/doi.org\/10.1016\/j.entcs.2005.02.055","DOI":"10.1016\/j.entcs.2005.02.055"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-030-59762-7_8","volume-title":"Search-Based Software Engineering","author":"M Eberlein","year":"2020","unstructured":"Eberlein, M., Noller, Y., Vogel, T., Grunske, L.: Evolutionary grammar-based fuzzing. In: Aleti, A., Panichella, A. (eds.) SSBSE 2020. LNCS, vol. 12420, pp. 105\u2013120. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59762-7_8"},{"issue":"5","key":"16_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E Gold","year":"1967","unstructured":"Gold, E.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967)","journal-title":"Inf. Control"},{"key":"16_CR9","doi-asserted-by":"publisher","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: Sage: Whitebox fuzzing for security testing. Commun. ACM 55(3), 40-44 (2012). https:\/\/doi.org\/10.1145\/2093548.2093564","DOI":"10.1145\/2093548.2093564"},{"key":"16_CR10","unstructured":"Gopinath, R., Mathis, B., Zeller, A.: Inferring input grammars from dynamic control flow. CoRR arXiv: abs\/1912.05937 (2019)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Gupta, A., Gopinath, R., Zeller, A.: Clifuzzer: mining grammars for command-line invocations. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1667-1671. ESEC\/FSE 2022. Association for Computing Machinery, New York (2022)","DOI":"10.1145\/3540250.3558918"},{"key":"16_CR12","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory. Addison-Wesley, Languages and Computation (1979)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"H\u00f6schele, M., Zeller, A.: Mining input grammars with AUTOGRAM. In: ICSE (Companion Volume), pp. 31\u201334. IEEE Computer Society (2017)","DOI":"10.1109\/ICSE-C.2017.14"},{"key":"16_CR14","unstructured":"Javed, F., Mernik, M., Sprague, A.P., Bryant, B.R.: Incrementally inferring context-free grammars for domain-specific languages. In: Zhang, K., Spanoudakis, G., Visaggio, G. (eds.) Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, 5-7 July 2006, pp. 363\u2013368 (2006)"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Klees, G., Ruef, A., Cooper, B., Wei, S., Hicks, M.: Evaluating fuzz testing. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, pp. 2123-2138. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3243734.3243804","DOI":"10.1145\/3243734.3243804"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Kova\u010devi\u0107, Z., Mernik, M., Ravber, M., \u010crepin\u0161ek, M.: From grammar inference to semantic inference-an evolutionary approach. Mathematics 8(5) (2020)","DOI":"10.3390\/math8050816"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Le, X.B.D., Pasareanu, C., Padhye, R., Lo, D., Visser, W., Sen, K.: Saffron: adaptive grammar-based fuzzing for worst-case analysis. SIGSOFT Softw. Eng. Notes 44(4), 14 (2019)","DOI":"10.1145\/3364452.3364455"},{"key":"16_CR18","doi-asserted-by":"publisher","unstructured":"Le, X.B.D., Pasareanu, C., Padhye, R., Lo, D., Visser, W., Sen, K.: Saffron: adaptive grammar-based fuzzing for worst-case analysis. SIGSOFT Softw. Eng. Notes 44(4), 14 (2019). https:\/\/doi.org\/10.1145\/3364452.3364455","DOI":"10.1145\/3364452.3364455"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Moser, M., Pichler, J.: eknows: platform for multi-language reverse engineering and documentation generation. In: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 559\u2013568 (2021)","DOI":"10.1109\/ICSME52107.2021.00057"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Pointner, A.: Mining attributed input grammars and their applications in fuzzing. In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 493\u2013495 (2023)","DOI":"10.1109\/ICST57152.2023.00059"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Sargsyan, S., et al.: Advanced grammar-based fuzzing. In: 2022 Ivannikov Memorial Workshop (IVMEM), pp. 61\u201364 (2022)","DOI":"10.1109\/IVMEM57067.2022.9983953"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, M., Cito, J.: Grammars for free: toward grammar inference for ad hoc parsers. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, pp. 41\u201345 (2022)","DOI":"10.1145\/3510455.3512787"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Sochor, H., Ferrarotti, F.: A refinement based algorithm for learning program input grammars. In: Bowles, J., Broccia, G., Pellungrini, R. (eds.) From Data to Models and Back. DataMod 2021. LNCS, vol. 13268, pp. 138\u2013156. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-031-16011-0_10","DOI":"10.1007\/978-3-031-16011-0_10"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Sochor, H., Ferrarotti, F., Kaufmann, D.: Fuzzing-based grammar inference. In: Fournier-Viger, P., Yousef, A.H., Bellatreche, L. (eds.) Model and Data Engineering. MEDI 2022. LNCS, vol. 13761, pp. 72\u201386. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-21595-7_6","DOI":"10.1007\/978-3-031-21595-7_6"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Sochor, H., Ferrarotti, F., Kaufmann, D.: Fuzzing-based grammar learning from a minimal set of seed inputs. J. Comput. Lang. 78, 101252 (2024). https:\/\/doi.org\/10.1016\/j.cola.2023.101252","DOI":"10.1016\/j.cola.2023.101252"},{"key":"16_CR26","unstructured":"Zalewski, M.: Technical \u201cwhitepaper\" for afl-fuzz. Technical report. https:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-77382-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T20:03:09Z","timestamp":1732564989000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-77382-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"ISBN":["9783031773815","9783031773822"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-77382-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"26 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}