{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:42:20Z","timestamp":1784342540898,"version":"3.55.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T00:00:00Z","timestamp":1711324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"European Research Council","doi-asserted-by":"publisher","award":["101093186"],"award-info":[{"award-number":["101093186"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2024,4]]},"abstract":"<jats:p>Constraints over grammar elements can make test generation easier than ever.<\/jats:p>","DOI":"10.1145\/3631520","type":"journal-article","created":{"date-parts":[[2024,3,20]],"date-time":"2024-03-20T15:48:58Z","timestamp":1710949738000},"page":"80-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Language-Based Software Testing"],"prefix":"10.1145","volume":"67","author":[{"given":"Dominic","family":"Steinh\u00f6fel","sequence":"first","affiliation":[{"name":"CISPA Helmholtz Center for Information Security, in Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,3,25]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of 2019 Network and Distributed System Security Symp.; https:\/\/bit.ly\/3uRisTx","author":"Aschermann C.","unstructured":"Aschermann, C. et al. NAUTILUS: Fishing for deep bugs with grammars. In Proceedings of 2019 Network and Distributed System Security Symp.; https:\/\/bit.ly\/3uRisTx"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_2_1_4_1","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"2005","unstructured":"Booch, G. The Unified Modeling Language User Guide. Addison Wesley, 2005."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647245.719446"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663716.2663755"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616296"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 2020 Joint Meeting of the European Softw. Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Softw. Eng.; https:\/\/publications.cispa.saarland\/3101\/","author":"Gopinath R.","unstructured":"Gopinath, R., Mathis, B., and Zeller, A. Mining input grammars from dynamic control flow. In Proceedings of the 2020 Joint Meeting of the European Softw. Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Softw. Eng.; https:\/\/publications.cispa.saarland\/3101\/"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 2012 USENIX Security Symp. USENIX Assoc.","author":"Holler C.","unstructured":"Holler, C., Herzig, K., and Zeller, A. Fuzzing with code fragments. In Proceedings of the 2012 USENIX Security Symp. USENIX Assoc., Bellevue, WA, 38--38; https:\/\/bit.ly\/41oj8Mv"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"key":"e_1_2_1_14_1","volume-title":"WSJ (Dec. 20, 2021","author":"Hunter T.","year":"2021","unstructured":"Hunter, T. and de Vynck, G. \"most serious security breach ever\" is unfolding right now. WSJ (Dec. 20, 2021); https:\/\/www.washingtonpost.com\/technology\/2021\/12\/20\/log4j-hack-vulnerability-java\/"},{"key":"e_1_2_1_15_1","unstructured":"Jones B. Harman M. and Danicic S. Automated Construction of Input and Output Grammars. Technical Report. University of North London 1999; https:\/\/bit.ly\/3TqEcQv."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647983.743552"},{"key":"e_1_2_1_17_1","unstructured":"LibFuzzer; https:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314651"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the IEEE 2011 4th Intern. Conf. Softw. Testing, Verification and Validation Workshops. IEEE, 153--163","author":"McMinn P.","unstructured":"McMinn, P. Search-based software testing: Past, present and future. In Proceedings of the IEEE 2011 4th Intern. Conf. Softw. Testing, Verification and Validation Workshops. IEEE, 153--163."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.30"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/947955.1083808"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2941681"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549139"},{"key":"e_1_2_1_26_1","volume-title":"Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS) Heartbeat Extension. RFC 6520 IETF","author":"Williams M.","year":"2012","unstructured":"Williams, M., T\u00fcxen, M., and Robin Seggelmann, R. Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS) Heartbeat Extension. RFC 6520 IETF, 2012; https:\/\/datatracker.ietf.org\/doc\/rfc6520\/."},{"key":"e_1_2_1_27_1","unstructured":"Za\u0142ewski M. American fuzzy lop; https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3631520","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3631520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T18:30:54Z","timestamp":1755973854000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3631520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,25]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,4]]}},"alternative-id":["10.1145\/3631520"],"URL":"https:\/\/doi.org\/10.1145\/3631520","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,25]]},"assertion":[{"value":"2024-03-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}