{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:01Z","timestamp":1750220581145,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","award":["aSSIsT project"],"award-info":[{"award-number":["aSSIsT project"]}]},{"name":"Vetenskapsr\u00e5det","award":["621-2017-04812"],"award-info":[{"award-number":["621-2017-04812"]}]},{"DOI":"10.13039\/501100014343","name":"National Research Foundation","doi-asserted-by":"publisher","award":["113364"],"award-info":[{"award-number":["113364"]}],"id":[{"id":"10.13039\/501100014343","id-type":"DOI","asserted-by":"publisher"}]},{"name":"South Africa - Sweden Univerity Forum"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426946","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"253-269","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Grammar-based testing for little languages: an experience report with student compilers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1801-2996","authenticated-orcid":false,"given":"Phillip","family":"van Heerden","sequence":"first","affiliation":[{"name":"Stellenbosch University, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6859-7833","authenticated-orcid":false,"given":"Moeketsi","family":"Raselimo","sequence":"additional","affiliation":[{"name":"Stellenbosch University, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9657-0179","authenticated-orcid":false,"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1815-218X","authenticated-orcid":false,"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[{"name":"Stellenbosch University, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Aichernig and Richard Schumi","author":"Bernhard","year":"2019","unstructured":"Bernhard K. Aichernig and Richard Schumi . 2019 . Property-based testing of web services by deriving properties from business-rule models. Software and Systems Modeling 18, 2 ( 2019 ), 889\u015b911. htps: \/\/doi.org\/10.1007\/s10270-017-0647-0 Bernhard K. Aichernig and Richard Schumi. 2019. Property-based testing of web services by deriving properties from business-rule models. Software and Systems Modeling 18, 2 ( 2019 ), 889\u015b911. htps: \/\/doi.org\/10.1007\/s10270-017-0647-0"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Jon Louis Bentley. 1986. Little Languages. Commun. ACM 29 8 ( 1986 ) 711\u015b721. htps:\/\/doi.org\/10.1145\/6424.315691  Jon Louis Bentley. 1986. Little Languages. Commun. ACM 29 8 ( 1986 ) 711\u015b721. htps:\/\/doi.org\/10.1145\/6424.315691","DOI":"10.1145\/6424.315691"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"e_1_3_2_2_4_1","volume-title":"History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 305\u015b316","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen , Guancheng Wang , Dan Hao , Yingfei Xiong , Hongyu Zhang , and Lu Zhang . 2019 . History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 305\u015b316 . htps:\/\/doi.org\/10.1109\/ASE. 2019.00037 Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, and Lu Zhang. 2019. History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 305\u015b316. htps:\/\/doi.org\/10.1109\/ASE. 2019.00037"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642963"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_16"},{"key":"e_1_3_2_2_9_1","volume-title":"Comparison of Context-Free Grammars Based on Parsing Generated Test Data. In Software Language Engineering-4th International Conference, (SLE 2011 ), Revised Selected Papers (LNCS","volume":"6940","author":"Fischer Bernd","year":"2011","unstructured":"Bernd Fischer , Ralf L\u00e4mmel , and Vadim Zaytsev . 2011 . Comparison of Context-Free Grammars Based on Parsing Generated Test Data. In Software Language Engineering-4th International Conference, (SLE 2011 ), Revised Selected Papers (LNCS , Vol. 6940 ), Anthony M. Sloane and Uwe A\u00dfmann (Eds.). Springer, 324\u015b343. htps:\/\/doi.org\/10.1007\/978-3-642-28830-2_18 Bernd Fischer, Ralf L\u00e4mmel, and Vadim Zaytsev. 2011. Comparison of Context-Free Grammars Based on Parsing Generated Test Data. In Software Language Engineering-4th International Conference, (SLE 2011 ), Revised Selected Papers (LNCS, Vol. 6940 ), Anthony M. Sloane and Uwe A\u00dfmann (Eds.). Springer, 324\u015b343. htps:\/\/doi.org\/10.1007\/978-3-642-28830-2_18"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"e_1_3_2_2_11_1","volume-title":"Systematically Covering Input Structure. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 189\u015b199","author":"Havrikov Nikolas","year":"2019","unstructured":"Nikolas Havrikov and Andreas Zeller . 2019 . Systematically Covering Input Structure. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 189\u015b199 . htps: \/\/doi.org\/10.1109\/ASE. 2019.00027 Nikolas Havrikov and Andreas Zeller. 2019. Systematically Covering Input Structure. In 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019 ). IEEE, 189\u015b199. htps: \/\/doi.org\/10.1109\/ASE. 2019.00027"},{"key":"e_1_3_2_2_12_1","unstructured":"G\u00f6rel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24 3 ( 2000 ).  G\u00f6rel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24 3 ( 2000 )."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","unstructured":"Daniel Hofman David Ly-Gagnon Paul A. Strooper and Hong-Yi Wang. 2011. Grammar-based test generation with YouGen. Softw. Pract. Exp. 41 4 ( 2011 ) 427\u015b447. htps:\/\/doi.org\/10.1002\/spe.1017  Daniel Hofman David Ly-Gagnon Paul A. Strooper and Hong-Yi Wang. 2011. Grammar-based test generation with YouGen. Softw. Pract. Exp. 41 4 ( 2011 ) 427\u015b447. htps:\/\/doi.org\/10.1002\/spe.1017","DOI":"10.1002\/spe.1017"},{"key":"e_1_3_2_2_14_1","volume-title":"Proceedings of the 21th USENIX Security Symposium. 445\u015b458","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with Code Fragments . In Proceedings of the 21th USENIX Security Symposium. 445\u015b458 . htps:\/\/www.usenix.org\/conference\/usenixsecurity12\/ technical-sessions\/presentation\/holler Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proceedings of the 21th USENIX Security Symposium. 445\u015b458. htps:\/\/www.usenix.org\/conference\/usenixsecurity12\/ technical-sessions\/presentation\/holler"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"William Homer and Richard Schooler. 1989. Independent Testing of Compiler Phases Using a Test Case Generator. Softw. Pract. Exp. 19 1 ( 1989 ) 53\u015b62. htps:\/\/doi.org\/10.1002\/spe.4380190106  William Homer and Richard Schooler. 1989. Independent Testing of Compiler Phases Using a Test Case Generator. Softw. Pract. Exp. 19 1 ( 1989 ) 53\u015b62. htps:\/\/doi.org\/10.1002\/spe.4380190106","DOI":"10.1002\/spe.4380190106"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Fitsum Meshesha Kifetew Roberto Tiella and Paolo Tonella. 2017. Generating valid grammar-based test inputs by means of genetic programming and annotated grammars. Empirical Software Engineering 22 2 ( 2017 ) 928\u015b961. htps:\/\/doi.org\/10.1007\/s10664-015-9422-4  Fitsum Meshesha Kifetew Roberto Tiella and Paolo Tonella. 2017. Generating valid grammar-based test inputs by means of genetic programming and annotated grammars. Empirical Software Engineering 22 2 ( 2017 ) 928\u015b961. htps:\/\/doi.org\/10.1007\/s10664-015-9422-4","DOI":"10.1007\/s10664-015-9422-4"},{"key":"e_1_3_2_2_17_1","volume-title":"5th International Conference, SLE","volume":"7745","author":"Konat Gabri\u00ebl D. P.","year":"2012","unstructured":"Gabri\u00ebl D. P. Konat , Lennart C. L. Kats , Guido Wachsmuth , and Eelco Visser . 2012 . Declarative Name Binding and Scope Rules. In Software Language Engineering , 5th International Conference, SLE 2012, Revised Selected Papers (LNCS , Vol. 7745 ), Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.). Springer, 311\u015b331. htps:\/\/doi.org\/10.1007\/978-3-642-36089-3_18 Gabri\u00ebl D. P. Konat, Lennart C. L. Kats, Guido Wachsmuth, and Eelco Visser. 2012. Declarative Name Binding and Scope Rules. In Software Language Engineering, 5th International Conference, SLE 2012, Revised Selected Papers (LNCS, Vol. 7745 ), Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.). Springer, 311\u015b331. htps:\/\/doi.org\/10.1007\/978-3-642-36089-3_18"},{"key":"e_1_3_2_2_18_1","volume-title":"4th International Conference, FASE 2001, Proceedings (LNCS","volume":"2029","author":"L\u00e4mmel Ralf","year":"2001","unstructured":"Ralf L\u00e4mmel . 2001 . Grammar Testing. In Fundamental Approaches to Software Engineering , 4th International Conference, FASE 2001, Proceedings (LNCS , Vol. 2029 ), Heinrich Hu\u00dfmann (Ed.). Springer, 201\u015b216. htps:\/\/doi.org\/10.1007\/3-540-45314-8_15 Ralf L\u00e4mmel. 2001. Grammar Testing. In Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Proceedings (LNCS, Vol. 2029 ), Heinrich Hu\u00dfmann (Ed.). Springer, 201\u015b216. htps:\/\/doi.org\/10.1007\/3-540-45314-8_15"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings (LNCS","volume":"3964","author":"L\u00e4mmel Ralf","year":"2006","unstructured":"Ralf L\u00e4mmel and Wolfram Schulte . 2006 . Controllable Combinatorial Coverage in Grammar-Based Testing. In Testing of Communicating Systems, 18th IFIP TC6\/WG6.1 International Conference (TestCom 2006 ) , Proceedings (LNCS , Vol. 3964 ), M. \u00dcmit Uyar, Ali Y. Duale, and Mariusz A. Fecko (Eds.). Springer, 19\u015b38. htps:\/\/doi.org\/10.1007\/11754008_2 Ralf L\u00e4mmel and Wolfram Schulte. 2006. Controllable Combinatorial Coverage in Grammar-Based Testing. In Testing of Communicating Systems, 18th IFIP TC6\/WG6.1 International Conference (TestCom 2006 ), Proceedings (LNCS, Vol. 3964 ), M. \u00dcmit Uyar, Ali Y. Duale, and Mariusz A. Fecko (Eds.). Springer, 19\u015b38. htps:\/\/doi.org\/10.1007\/11754008_2"},{"key":"e_1_3_2_2_20_1","volume-title":"Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. In 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u015b16","author":"Lampropoulos Leonidas","year":"2012","unstructured":"Leonidas Lampropoulos and Konstantinos Sagonas . 2012 . Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. In 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u015b16 . htps:\/\/doi.org\/10.4204\/EPTCS.98.3 Leonidas Lampropoulos and Konstantinos Sagonas. 2012. Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. In 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u015b16. htps:\/\/doi.org\/10.4204\/EPTCS.98.3"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_2_22_1","volume-title":"Generating Test Data with Enhanced ContextFree Grammars","author":"Maurer Peter M.","year":"1990","unstructured":"Peter M. Maurer . 1990. Generating Test Data with Enhanced ContextFree Grammars . IEEE Softw . 7, 4 ( 1990 ), 50\u015b55. htps:\/\/doi.org\/10.1109\/ 52.56422 Peter M. Maurer. 1990. Generating Test Data with Enhanced ContextFree Grammars. IEEE Softw. 7, 4 ( 1990 ), 50\u015b55. htps:\/\/doi.org\/10.1109\/ 52.56422"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Peter M. Maurer. 1992. The Design and Implementation of a Grammarbased Data Generator. Softw. Pract. Exp. 22 3 ( 1992 ) 223\u015b244. htps: \/\/doi.org\/10.1002\/spe.4380220303  Peter M. Maurer. 1992. The Design and Implementation of a Grammarbased Data Generator. Softw. Pract. Exp. 22 3 ( 1992 ) 223\u015b244. htps: \/\/doi.org\/10.1002\/spe.4380220303","DOI":"10.1002\/spe.4380220303"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/953428.953435"},{"key":"e_1_3_2_2_26_1","volume-title":"A Sentence Generator for Testing Parsers. BIT Numerical Mathematics 12 (","author":"Purdom Paul","year":"1972","unstructured":"Paul Purdom . 1972. A Sentence Generator for Testing Parsers. BIT Numerical Mathematics 12 ( Sept. 1972 ), 366\u015b375. Issue 3. htps:\/\/doi. org\/10.1007\/BF01932308 Paul Purdom. 1972. A Sentence Generator for Testing Parsers. BIT Numerical Mathematics 12 ( Sept. 1972 ), 366\u015b375. Issue 3. htps:\/\/doi. org\/10.1007\/BF01932308"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359542"},{"key":"e_1_3_2_2_28_1","first-page":"1","article-title":"Silver: An extensible attribute grammar system. Sci","volume":"75","author":"Wyk Eric Van","year":"2010","unstructured":"Eric Van Wyk , Derek Bodin , Jimin Gao , and Lijesh Krishnan . 2010 . Silver: An extensible attribute grammar system. Sci . Comput. Program. 75 , 1 - 2 ( 2010 ), 39\u015b54. htps:\/\/doi.org\/10.1016\/j.scico. 2009. 07.004 Eric Van Wyk, Derek Bodin, Jimin Gao, and Lijesh Krishnan. 2010. Silver: An extensible attribute grammar system. Sci. Comput. Program. 75, 1-2 ( 2010 ), 39\u015b54. htps:\/\/doi.org\/10.1016\/j.scico. 2009. 07.004","journal-title":"Comput. Program."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_2_30_1","unstructured":"Micha\u0142 Zalewsk. 2014. American Fuzzy Lop. htp:\/\/lcamtuf.coredump. cx\/afl\/  Micha\u0142 Zalewsk. 2014. American Fuzzy Lop. htp:\/\/lcamtuf.coredump. cx\/afl\/"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":31,"alternative-id":["10.1145\/3426425.3426946","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426946","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}