{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T06:04:46Z","timestamp":1784268286732,"version":"3.55.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"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":[[2026,5,18]]},"DOI":"10.1109\/icst69053.2026.00067","type":"proceedings-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:48:20Z","timestamp":1784238500000},"page":"486-497","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation"],"prefix":"10.1109","author":[{"given":"Kuangxiangzi","family":"Liu","sequence":"first","affiliation":[{"name":"Volkswagen AG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Liggesmeyer","sequence":"additional","affiliation":[{"name":"CISPA Helmholtz Center for Information Security,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dhiman","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Volkswagen AG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[{"name":"Volkswagen AG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","first-page":"106321","DOI":"10.1016\/j.infsof.2020.106321","article-title":"NLP-assisted software testing: A systematic mapping of the literature","volume":"126","author":"Garousi","year":"2020","journal-title":"Information and Software Technology"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3703155"},{"key":"ref3","first-page":"5185","article-title":"Climbing towards NLU: On meaning, form, and understanding in the age of data","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Bender"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3392663"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3487043"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"ref8","article-title":"Grounding complex natural language commands for temporal tasks in unseen environments","volume-title":"Conference on Robot Learning (CoRL)","author":"Liu"},{"key":"ref9","first-page":"20308","article-title":"Language-based protocol testing","author":"Liggesmeyer","year":"2025"},{"key":"ref10","article-title":"Post office protocol \u2013 version 3 (POP3)","author":"Myers","year":"1996"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593891"},{"key":"ref12","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport","year":"2002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2014.2372785"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref15","article-title":"The RFC series","year":"2025"},{"key":"ref16","article-title":"RFC Style Guide","author":"Ginoza","year":"2014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3355048"},{"key":"ref18","article-title":"Technical white paper for afl-fuzz","author":"Zalewski","year":"2015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/secdev.2016.043"},{"issue":"9","key":"ref20","first-page":"1980","article-title":"Smart greybox fuzzing","volume":"47","author":"Pham","year":"2021","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2017.23"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3728915"},{"key":"ref23","article-title":"Peach fuzzer community edition","year":"2025"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/icse.2019.00081"},{"key":"ref25","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"issue":"240","key":"ref26","first-page":"1","article-title":"Palm: Scaling language modeling with pathways","volume":"24","author":"Chowdhery","year":"2023","journal-title":"Journal of Machine Learning Research"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628205"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/icpc66645.2025.00039"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3728955"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE63991.2025.00105"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/sp46214.2022.9833673"},{"key":"ref32","article-title":"PSMBench: A benchmark and dataset for evaluating LLMs extraction of protocol state machines from RFC specifications","volume-title":"The Thirty-ninth Annual Conference on Neural Information Processing Systems Datasets and Benchmarks Track","author":"Shen"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/DSN53405.2022.00014"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472910"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2025.3595396"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2024.24556","article-title":"Large language model guided protocol fuzzing","volume-title":"31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024","author":"Meng"},{"key":"ref37","article-title":"Pydantic: Data validation using Python type hints","year":"2025"},{"key":"ref38","article-title":"Gpt-4 technical report","volume-title":"arXiv preprint arXiv:2303.08774","year":"2023"}],"event":{"name":"2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)","location":"Daejeon, Korea, Republic of","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,22]]}},"container-title":["2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11600401\/11600462\/11600525.pdf?arnumber=11600525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T05:24:22Z","timestamp":1784265862000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11600525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/icst69053.2026.00067","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}