{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T17:59:08Z","timestamp":1776448748940,"version":"3.51.2"},"reference-count":52,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100012165","name":"Key Technologies Research and Development Program","doi-asserted-by":"publisher","award":["2023YFB2903902"],"award-info":[{"award-number":["2023YFB2903902"]}],"id":[{"id":"10.13039\/501100012165","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["244200510038"],"award-info":[{"award-number":["244200510038"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1016\/j.comcom.2026.108508","type":"journal-article","created":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T15:53:15Z","timestamp":1774972395000},"page":"108508","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["AssertGPT: LLM-driven assertion generation for programmable networks verification"],"prefix":"10.1016","volume":"252","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-3748-8089","authenticated-orcid":false,"given":"Ying","family":"Yao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6522-2321","authenticated-orcid":false,"given":"Yuxiang","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pengshuai","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobo","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.comcom.2026.108508_b1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/2656877.2656890","article-title":"P4: programming protocol-independent packet processors","volume":"44","author":"Bosshart","year":"2014","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"10.1016\/j.comcom.2026.108508_b2","series-title":"Improving network monitoring and management with programmable data planes","first-page":"2021","author":"Hira","year":"2015"},{"key":"10.1016\/j.comcom.2026.108508_b3","doi-asserted-by":"crossref","unstructured":"Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soul\u00e9, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica, Netcache: Balancing key-value stores with fast in-network caching, in: Proceedings of the 26th Symposium on Operating Systems Principles, 2017, pp. 121\u2013136.","DOI":"10.1145\/3132747.3132764"},{"key":"10.1016\/j.comcom.2026.108508_b4","series-title":"Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication","first-page":"662","article-title":"PINT: Probabilistic in-band network telemetry","author":"Ben Basat","year":"2020"},{"key":"10.1016\/j.comcom.2026.108508_b5","series-title":"18th USENIX Symposium on Networked Systems Design and Implementation","first-page":"741","article-title":"ATP: In-network aggregation for multi-tenant learning","author":"Lao","year":"2021"},{"key":"10.1016\/j.comcom.2026.108508_b6","series-title":"Proceedings of the ACM Special Interest Group on Data Communication","first-page":"44","article-title":"HPCC: high precision congestion control","author":"Li","year":"2019"},{"key":"10.1016\/j.comcom.2026.108508_b7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3510578","article-title":"A survey on assertion-based hardware verification","volume":"54","author":"Witharana","year":"2022","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.comcom.2026.108508_b8","doi-asserted-by":"crossref","unstructured":"Babu Turumella, Mukesh Sharma, Assertion-based verification of a 32 thread SPARC\u2122 CMT microprocessor, in: 2008 45th ACM\/IEEE Design Automation Conference, 2008, pp. 256\u2013261.","DOI":"10.1145\/1391469.1391535"},{"key":"10.1016\/j.comcom.2026.108508_b9","doi-asserted-by":"crossref","unstructured":"Yunfeng Tao, An introduction to assertion-based verification, in: 2009 IEEE 8th International Conference on ASIC, 2009, pp. 1318\u20131323.","DOI":"10.1109\/ASICON.2009.5351246"},{"key":"10.1016\/j.comcom.2026.108508_b10","series-title":"Proceedings of the 42nd Annual Design Automation Conference","first-page":"674","article-title":"Streamline verification process with formal property verification to meet highly compressed design cycle","author":"Chatterjee","year":"2005"},{"key":"10.1016\/j.comcom.2026.108508_b11","series-title":"Proceedings of the Symposium on SDN Research","article-title":"Uncovering bugs in P4 programs with assertion-based verification","author":"Freire","year":"2018"},{"key":"10.1016\/j.comcom.2026.108508_b12","series-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","first-page":"2495","article-title":"POSTER: Finding vulnerabilities in P4 programs with assertion-based verification","author":"Freire","year":"2017"},{"key":"10.1016\/j.comcom.2026.108508_b13","series-title":"Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies","first-page":"73","article-title":"Verification of P4 programs in feasible time using assertions","author":"Neves","year":"2018"},{"key":"10.1016\/j.comcom.2026.108508_b14","series-title":"Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication","first-page":"518","article-title":"Debugging P4 programs with vera","author":"Stoenescu","year":"2018"},{"key":"10.1016\/j.comcom.2026.108508_b15","unstructured":"Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, Minlan Yu, Aquila: a practically usable verification system for production-scale programmable data planes, in: Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 2021."},{"key":"10.1016\/j.comcom.2026.108508_b16","series-title":"Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)","first-page":"122","article-title":"DBVal: Validating P4 data plane runtime behavior","author":"Kumar","year":"2021"},{"key":"10.1016\/j.comcom.2026.108508_b17","series-title":"Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication","first-page":"490","article-title":"P4v: practical verification for programmable data planes","author":"Liu","year":"2018"},{"key":"10.1016\/j.comcom.2026.108508_b18","doi-asserted-by":"crossref","unstructured":"Christopher B. Harris, Ian G. Harris, GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions, in: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE, 2016, pp. 966\u2013971.","DOI":"10.3850\/9783981537079_0334"},{"key":"10.1016\/j.comcom.2026.108508_b19","series-title":"2019 IEEE 13th International Conference on Semantic Computing","first-page":"367","article-title":"Controlled natural language framework for generating assertions from hardware specifications","author":"Krishnamurthy","year":"2019"},{"key":"10.1016\/j.comcom.2026.108508_b20","doi-asserted-by":"crossref","unstructured":"Junchen Zhao, Ian G. Harris, Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis, in: 2019 Design, Automation & Test in Europe Conference & Exhibition, DATE, 2019, pp. 598\u2013601.","DOI":"10.23919\/DATE.2019.8714857"},{"key":"10.1016\/j.comcom.2026.108508_b21","series-title":"Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16\u201319, 2019, Proceedings","first-page":"82","article-title":"EASE: Enabling hardware assertion synthesis from english","author":"Krishnamurthy","year":"2019"},{"key":"10.1016\/j.comcom.2026.108508_b22","doi-asserted-by":"crossref","unstructured":"Steven J. Frederiksen, John Aromando, Michael S. Hsiao, Automated Assertion Generation from Natural Language Specifications, in: 2020 IEEE International Test Conference, ITC, 2020, pp. 1\u20135.","DOI":"10.1109\/ITC44778.2020.9325264"},{"key":"10.1016\/j.comcom.2026.108508_b23","doi-asserted-by":"crossref","unstructured":"Oliver Keszocze, Ian G. Harris, Chatbot-based assertion generation from natural language specifications, in: 2019 Forum for Specification and Design Languages, FDL, 2019, pp. 1\u20136.","DOI":"10.1109\/FDL.2019.8876925"},{"key":"10.1016\/j.comcom.2026.108508_b24","doi-asserted-by":"crossref","unstructured":"Fnu Aditi, Michael S. Hsiao, Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications, in: 2022 IEEE 31st Asian Test Symposium, ATS, 2022, pp. 126\u2013131.","DOI":"10.1109\/ATS56056.2022.00034"},{"key":"10.1016\/j.comcom.2026.108508_b25","doi-asserted-by":"crossref","unstructured":"Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi, AutoSVA: Democratizing Formal Verification of RTL Module Interactions, in: 2021 58th ACM\/IEEE Design Automation Conference, DAC, 2021, pp. 535\u2013540.","DOI":"10.1109\/DAC18074.2021.9586118"},{"issue":"12","key":"10.1016\/j.comcom.2026.108508_b26","doi-asserted-by":"crossref","first-page":"5113","DOI":"10.1109\/TCAD.2023.3294454","article-title":"R-map: Relating implementation and specification in hardware refinement checking","volume":"42","author":"Fang","year":"2023","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"10.1016\/j.comcom.2026.108508_b27","series-title":"LLM-assisted generation of hardware assertions","author":"Kande","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b28","series-title":"Using LLMs to facilitate formal verification of RTL","author":"Orenes-Vera","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b29","unstructured":"Chuyue Sun, Christopher Hahn, Caroline Trippel, Towards Improving Verification Productivity with Circuit-Aware Translation of Natural Language to SystemVerilog Assertions, in: First International Workshop on Deep Learning-Aided Verification, 2023."},{"key":"10.1016\/j.comcom.2026.108508_b30","series-title":"Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation","article-title":"NetAssistant: dialogue based network diagnosis in data center networks","author":"Wang","year":"2024"},{"key":"10.1016\/j.comcom.2026.108508_b31","series-title":"Trafficllm: Enhancing large language models for network traffic analysis with generic traffic representation","author":"Cui","year":"2025"},{"issue":"CoNEXT2","key":"10.1016\/j.comcom.2026.108508_b32","doi-asserted-by":"crossref","DOI":"10.1145\/3656296","article-title":"NetConfEval: Can LLMs facilitate network configuration?","volume":"2","author":"Wang","year":"2024","journal-title":"Proc. ACM Netw."},{"key":"10.1016\/j.comcom.2026.108508_b33","series-title":"Leveraging LLM agents for translating network configurations","author":"Wei","year":"2025"},{"issue":"3","key":"10.1016\/j.comcom.2026.108508_b34","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MNET.2025.3532212","article-title":"Next-gen service function chain deployment: Combining multi-objective optimization with AI large language models","volume":"39","author":"Li","year":"2025","journal-title":"IEEE Netw."},{"key":"10.1016\/j.comcom.2026.108508_b35","doi-asserted-by":"crossref","unstructured":"Abdelkader Mekrache, Adlen Ksentini, LLM-enabled Intent-driven Service Configuration for Next Generation Networks, in: 2024 IEEE 10th International Conference on Network Softwarization, NetSoft, 2024, pp. 253\u2013257.","DOI":"10.1109\/NetSoft60951.2024.10588881"},{"key":"10.1016\/j.comcom.2026.108508_b36","series-title":"Large language models are few-shot testers: Exploring LLM-based general bug reproduction","author":"Kang","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b37","series-title":"StarCoder 2 and The Stack v2: The next generation","author":"Lozhkov","year":"2024"},{"key":"10.1016\/j.comcom.2026.108508_b38","series-title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","first-page":"15789","article-title":"OLMo: Accelerating the science of language models","author":"Groeneveld","year":"2024"},{"key":"10.1016\/j.comcom.2026.108508_b39","series-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b40","series-title":"StarCoder: may the source be with you!","author":"Li","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b41","series-title":"The falcon series of open language models","author":"Almazrouei","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b42","series-title":"Gemma: Open models based on gemini research and technology","author":"Gemma Team","year":"2024"},{"key":"10.1016\/j.comcom.2026.108508_b43","series-title":"Code llama: Open foundation models for code","author":"Rozi\u00e8re","year":"2023"},{"key":"10.1016\/j.comcom.2026.108508_b44","series-title":"The stack: 3 TB of permissively licensed source code","author":"Kocetkov","year":"2022"},{"key":"10.1016\/j.comcom.2026.108508_b45","series-title":"The pile: An 800gb dataset of diverse text for language modeling","author":"Gao","year":"2020"},{"key":"10.1016\/j.comcom.2026.108508_b46","series-title":"StarCoder 2 and the stack v2: The next generation","author":"Lozhkov","year":"2024"},{"key":"10.1016\/j.comcom.2026.108508_b47","doi-asserted-by":"crossref","unstructured":"Mihai-Valentin Dumitru, Vlad-Andrei B\u0103doiu, Alexandru M. Gherghescu, Costin Raiciu, Generating P4 Dataplanes Using LLMs, in: 2024 IEEE 25th International Conference on High Performance Switching and Routing, HPSR, 2024, pp. 31\u201336.","DOI":"10.1109\/HPSR62440.2024.10635926"},{"key":"10.1016\/j.comcom.2026.108508_b48","doi-asserted-by":"crossref","unstructured":"Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan, Shang Liu, Hongce Zhang, Zhiyao Xie, AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs, in: 2024 IEEE LLM Aided Design Workshop, LAD, 2024, p. 1.","DOI":"10.1109\/LAD62341.2024.10691792"},{"key":"10.1016\/j.comcom.2026.108508_b49","series-title":"Findings of the Association for Computational Linguistics: EMNLP 2024","first-page":"11709","article-title":"A comprehensive survey of hallucination in large language, image, video and audio foundation models","author":"Sahoo","year":"2024"},{"issue":"2","key":"10.1016\/j.comcom.2026.108508_b50","doi-asserted-by":"crossref","DOI":"10.1145\/3703155","article-title":"A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions","volume":"43","author":"Huang","year":"2025","journal-title":"ACM Trans. Inf. Syst."},{"key":"10.1016\/j.comcom.2026.108508_b51","series-title":"Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies","first-page":"54","article-title":"The eXpress data path: fast programmable packet processing in the operating system kernel","author":"H\u00f8iland-J\u00f8rgensen","year":"2018"},{"issue":"1","key":"10.1016\/j.comcom.2026.108508_b52","doi-asserted-by":"crossref","DOI":"10.1145\/3371038","article-title":"Fast packet processing with eBPF and XDP: Concepts, code, challenges, and applications","volume":"53","author":"Vieira","year":"2020","journal-title":"ACM Comput. Surv."}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366426000988?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366426000988?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T17:22:07Z","timestamp":1776446527000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366426000988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":52,"alternative-id":["S0140366426000988"],"URL":"https:\/\/doi.org\/10.1016\/j.comcom.2026.108508","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[2026,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"AssertGPT: LLM-driven assertion generation for programmable networks verification","name":"articletitle","label":"Article Title"},{"value":"Computer Communications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.comcom.2026.108508","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"108508"}}