{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T04:03:35Z","timestamp":1782965015557,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CNS-2008048"],"award-info":[{"award-number":["CNS-2008048"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,10]]},"DOI":"10.1145\/3603269.3604834","type":"proceedings-article","created":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T16:16:29Z","timestamp":1693584989000},"page":"136-151","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["P4Testgen: An Extensible Test Oracle For P4"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1379-7277","authenticated-orcid":false,"given":"Fabian","family":"Ruffy","sequence":"first","affiliation":[{"name":"New York University, New York, New York, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2753-5174","authenticated-orcid":false,"given":"Jed","family":"Liu","sequence":"additional","affiliation":[{"name":"Akita Software, Palo Alto, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7713-0246","authenticated-orcid":false,"given":"Prathima","family":"Kotikalapudi","sequence":"additional","affiliation":[{"name":"Intel, Santa Clara, San Francisco, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6079-1849","authenticated-orcid":false,"given":"Vojtech","family":"Havel","sequence":"additional","affiliation":[{"name":"Intel, Brno, Czech Republic"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9846-9696","authenticated-orcid":false,"given":"Hanneli","family":"Tavante","sequence":"additional","affiliation":[{"name":"Intel, Montreal, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7798-8462","authenticated-orcid":false,"given":"Rob","family":"Sherwood","sequence":"additional","affiliation":[{"name":"Intel, Santa Clara, California, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9336-9444","authenticated-orcid":false,"given":"Vladyslav","family":"Dubina","sequence":"additional","affiliation":[{"name":"Litsoft, Cherson, Ukraine"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1013-9877","authenticated-orcid":false,"given":"Volodymyr","family":"Peschanenko","sequence":"additional","affiliation":[{"name":"Litsoft, Cherson, Ukraine"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5025-4234","authenticated-orcid":false,"given":"Anirudh","family":"Sivaraman","sequence":"additional","affiliation":[{"name":"New York University, New York, New York, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6557-684X","authenticated-orcid":false,"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, New York, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ACM SIGCOMM","author":"Albab Kinan Dak","year":"2022","unstructured":"Kinan Dak Albab, Jonathan Dilorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Tirmazi, Jiaqi Gao, and Minlan Yu. SwitchV: Automated SDN switch validation with P4 models. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_4"},{"key":"e_1_3_2_1_3_1","volume-title":"The reference P4 software switch. https:\/\/github.com\/p4lang\/behavioral-model","author":"Bas Antonin","year":"2014","unstructured":"Antonin Bas. The reference P4 software switch. https:\/\/github.com\/p4lang\/behavioral-model, 2014. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_4_1","volume-title":"PTF: Packet testing framework. https:\/\/github.com\/p4lang\/ptf","author":"Bas Antonin","year":"2015","unstructured":"Antonin Bas. PTF: Packet testing framework. https:\/\/github.com\/p4lang\/ptf, 2015. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706339"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431313"},{"key":"e_1_3_2_1_7_1","volume-title":"The P416 reference compiler implementation architecture. https:\/\/github.com\/p4lang\/p4c\/blob\/master\/docs\/compiler-design.pptx","author":"Budiu Mihai","year":"2018","unstructured":"Mihai Budiu. The P416 reference compiler implementation architecture. https:\/\/github.com\/p4lang\/p4c\/blob\/master\/docs\/compiler-design.pptx, 2018. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_8_1","volume":"201","author":"Budiu Mihai","unstructured":"Mihai Budiu and Chris Dodd. The P416 programming language. ACM SIGOPS Operating Systems Review, 2017.","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_1_9_1","volume-title":"USENIX OSDI","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In USENIX OSDI, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"USENIX NSDI","author":"Canini Marco","year":"2012","unstructured":"Marco Canini, Daniele Venzano, Peter Pere\u0161\u00edni, Dejan Kosti\u0107, and Jennifer Rexford. A NICE way to test openflow applications. In USENIX NSDI, 2012."},{"key":"e_1_3_2_1_11_1","volume-title":"Open source P4 implementations. https:\/\/github.com\/Princeton-Cabernet\/p4-projects","author":"Chen Xiaoqi","year":"2018","unstructured":"Xiaoqi Chen. Open source P4 implementations. https:\/\/github.com\/Princeton-Cabernet\/p4-projects, 2018. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_12_1","unstructured":"Cisco. Cisco Silicon One. https:\/\/www.cisco.com\/c\/en\/us\/solutions\/service-provider\/innovation\/silicon-one.html. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_13_1","volume-title":"December","author":"The","year":"2020","unstructured":"The P4.org consortium. The P4Runtime specification, version 1.3.0. https:\/\/p4.org\/p4-spec\/p4runtime\/v1.3.0\/P4Runtime-Spec.html, December 2020."},{"key":"e_1_3_2_1_14_1","volume-title":"May","author":"The","year":"2023","unstructured":"The P4.org consortium. The P416 language specification, version 1.2.4. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.2.4.html, May 2023."},{"key":"e_1_3_2_1_15_1","unstructured":"Intel Corporation. Industry-first co-packaged optics Ethernet switch. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch.html. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_16_1","unstructured":"Intel Corporation. Second-generation P4-programmable Ethernet switch ASIC that continues to deliver programmability without compromise. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch\/tofino-2-series.html. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_17_1","volume-title":"The infrastructure processing unit (IPU). https:\/\/www.intel.de\/content\/www\/de\/de\/products\/network-io\/smartnic.html","author":"Intel Corporation","year":"2022","unstructured":"Intel Corporation. The infrastructure processing unit (IPU). https:\/\/www.intel.de\/content\/www\/de\/de\/products\/network-io\/smartnic.html, 2022. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434322"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_1_21_1","volume-title":"USENIX NSDI","author":"Dumitrescu Dragos","year":"2019","unstructured":"Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu. Dataplane equivalence and its applications. In USENIX NSDI, 2019."},{"key":"e_1_3_2_1_22_1","volume-title":"The BMv2 simple switch target. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/main\/docs\/simple_switch.md","author":"Fingerhut Andy","year":"2016","unstructured":"Andy Fingerhut. The BMv2 simple switch target. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/main\/docs\/simple_switch.md, 2016. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_23_1","volume-title":"Behavioral model targets. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/master\/targets\/README.md","author":"Fingerhut Andy","year":"2018","unstructured":"Andy Fingerhut. Behavioral model targets. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/master\/targets\/README.md, 2018. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_24_1","unstructured":"Open Networking Foundation. P4 DPDK target components. https:\/\/github.com\/p4lang\/p4-dpdk-target. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_25_1","unstructured":"Open Networking Foundation. TDI: Table driven interface. https:\/\/github.com\/p4lang\/tdi. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_26_1","volume-title":"PINS: P4 integrated network stack. https:\/\/opennetworking.org\/pins\/","author":"Foundation Open Networking","year":"2022","unstructured":"Open Networking Foundation. PINS: P4 integrated network stack. https:\/\/opennetworking.org\/pins\/, 2022. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_27_1","volume-title":"middleblock.p4. https:\/\/github.com\/sonic-net\/sonic-pins\/blob\/main\/sai_p4\/instantiations\/google\/middleblock.p4","author":"Foundation The Linux","year":"2021","unstructured":"The Linux Foundation. middleblock.p4. https:\/\/github.com\/sonic-net\/sonic-pins\/blob\/main\/sai_p4\/instantiations\/google\/middleblock.p4, 2021. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_28_1","volume-title":"eBPF: Introduction, tutorials & community resources. https:\/\/ebpf.io\/","author":"Foundation The Linux","year":"2022","unstructured":"The Linux Foundation. eBPF: Introduction, tutorials & community resources. https:\/\/ebpf.io\/, 2022. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_29_1","volume-title":"SONiC: Software for open networking in the cloud. https:\/\/sonic-net.github.io\/SONiC\/","author":"Foundation The Linux","year":"2022","unstructured":"The Linux Foundation. SONiC: Software for open networking in the cloud. https:\/\/sonic-net.github.io\/SONiC\/, 2022. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_1_31_1","volume-title":"ACM POPL","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid, Nils Klarlund, and Koushik Sen. DART: Directed automated random testing. In ACM POPL, 2005."},{"key":"e_1_3_2_1_32_1","volume-title":"November","author":"The P4.org Architecture Working Group","year":"2018","unstructured":"The P4.org Architecture Working Group. P416 portable switch architecture (psa), version 1.1. https:\/\/p4.org\/p4-spec\/docs\/PSA-v1.1.0.html, November 2018."},{"key":"e_1_3_2_1_33_1","volume-title":"December","author":"The P4.org Architecture Working Group","year":"2022","unstructured":"The P4.org Architecture Working Group. P416 portable nic architecture (pna), version 0.7. https:\/\/p4.org\/p4-spec\/docs\/PNA-v0.7.html, December 2022."},{"key":"e_1_3_2_1_34_1","volume-title":"Change parser exception model and provide better controls for exceptional situation handling. https:\/\/github.com\/p4lang\/p4-spec\/issues\/880","author":"Gurevich Vladimir","year":"2020","unstructured":"Vladimir Gurevich. Change parser exception model and provide better controls for exceptional situation handling. https:\/\/github.com\/p4lang\/p4-spec\/issues\/880, 2020. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_35_1","volume-title":"Added support for assert and assume primitives in bm_sim. https:\/\/github.com\/p4lang\/behavioral-model\/pull\/762","author":"Hadzic Enisa","year":"2019","unstructured":"Enisa Hadzic. Added support for assert and assume primitives in bm_sim. https:\/\/github.com\/p4lang\/behavioral-model\/pull\/762, 2019. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_36_1","volume-title":"USENIX NSDI","author":"Holterbach Thomas","year":"2019","unstructured":"Thomas Holterbach, E Costa Molero, Maria Apostolaki, Alberto Dainotti, Stefano Vissicchio, and Laurent Vanbever. Blink: Fast connectivity recovery entirely in the data plane. In USENIX NSDI, 2019."},{"key":"e_1_3_2_1_37_1","volume-title":"P4-16 Intel Tofino Native Architecture - Public Version","author":"Intel Corporation","year":"2021","unstructured":"Intel Corporation. P4-16 Intel Tofino Native Architecture - Public Version, 2021. https:\/\/github.com\/barefootnetworks\/Open-Tofino\/blob\/master\/PUBLIC_Tofino-Native-Arch.pdf. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_38_1","first-page":"4","volume-title":"Packet deduplication","author":"Johansson Stefan","unstructured":"Stefan Johansson. Packet deduplication in p4. https:\/\/opennetworking.org\/2021-p4-workshop-content\/, 2021. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446764"},{"key":"e_1_3_2_1_40_1","volume-title":"USENIX NSDI","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: Static checking for networks. In USENIX NSDI, 2012."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_43_1","unstructured":"Ariel Kit. Programming the entire data center infrastructure with the NVIDIA DOCA SDK. https:\/\/developer.nvidia.com\/blog\/programming-the-entire-data-center-infrastructure-with-the-nvidia-doca-sdk\/. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_45_1","volume-title":"ACM SOSR","author":"Kumar K Shiv","year":"2021","unstructured":"K Shiv Kumar, PS Prashanth, Mina Tahmasbi Arashloo, Venkanna U, and Praveen Tammana. DBVal: Validating P4 data plane runtime behavior. In ACM SOSR, 2021."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_47_1","volume-title":"Protocol buffers. https:\/\/protobuf.dev","author":"Google","year":"2008","unstructured":"Google LLC. Protocol buffers. https:\/\/protobuf.dev, 2008. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_48_1","volume-title":"ACM SOSR","author":"MacDavid Robert","year":"2021","unstructured":"Robert MacDavid, Carmelo Cascone, Pingping Lin, Badhrinath Padmanabhan, Ajay Thakur, Larry Peterson, Jennifer Rexford, and Oguz Sunay. A P4-based 5G user plane function. In ACM SOSR, 2021."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_3_2_1_50_1","unstructured":"Marvell. Marvell Teralynx 10 data center Ethernet switch. https:\/\/www.marvell.com\/content\/dam\/marvell\/en\/public-collateral\/switching\/marvell-teralynx-10-data-center-ethernet-switch-product-brief.pdf. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_51_1","unstructured":"Extreme Networks. Extreme 9920: Cloud-native network visibility platform. https:\/\/www.extremenetworks.com\/product\/extreme-9920\/. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3555050.3569117"},{"key":"e_1_3_2_1_54_1","unstructured":"Oxide. p4: A P4 compiler. https:\/\/github.com\/oxidecomputer\/p4. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_55_1","volume-title":"A new way of thinking about next-gen cloud architectures. https:\/\/p4.org\/p4\/pensando-joins-p4.html","year":"2020","unstructured":"Pensando. A new way of thinking about next-gen cloud architectures. https:\/\/p4.org\/p4\/pensando-joins-p4.html, 2020. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"e_1_3_2_1_57_1","unstructured":"Open Compute Project. SAI: Switch abstraction interface. https:\/\/www.opencompute.org\/projects\/sai. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019459"},{"key":"e_1_3_2_1_59_1","volume-title":"Question about expected output when all headers are invalid. https:\/\/github.com\/p4lang\/behavioral-model\/issues\/977","author":"Ruffy Fabian","year":"2021","unstructured":"Fabian Ruffy. Question about expected output when all headers are invalid. https:\/\/github.com\/p4lang\/behavioral-model\/issues\/977, 2021. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_60_1","volume-title":"Dead code in dash_pipeline.p4 pna version. https:\/\/github.com\/sonic-net\/DASH\/issues\/399","author":"Ruffy Fabian","year":"2023","unstructured":"Fabian Ruffy. Dead code in dash_pipeline.p4 pna version. https:\/\/github.com\/sonic-net\/DASH\/issues\/399, 2023. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_61_1","volume-title":"USENIX OSDI","author":"Ruffy Fabian","year":"2020","unstructured":"Fabian Ruffy, Tao Wang, and Anirudh Sivaraman. Gauntlet: Finding bugs in compilers for programmable packet processing. In USENIX OSDI, 2020."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_64_1","volume-title":"IEEE INFOCOM","author":"Shukla Apoorv","year":"2021","unstructured":"Apoorv Shukla, Kevin Hudemann, Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann. Fix with P6: Verifying programmable switches at runtime. In IEEE INFOCOM, 2021."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342206"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775007"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_1_70_1","volume-title":"P4 as a single source of truth for sonic dash use cases on both softswitch and hardware. https:\/\/opennetworking.org\/2022-p4-workshop-gated\/","author":"Sudarshan Reshma","year":"2022","unstructured":"Reshma Sudarshan and Chris Sommers. P4 as a single source of truth for sonic dash use cases on both softswitch and hardware. https:\/\/opennetworking.org\/2022-p4-workshop-gated\/, 2022. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_71_1","volume-title":"ACM SIGCOMM","author":"Tian Bingchuan","year":"2021","unstructured":"Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, et al. Aquila: a practically usable verification system for production-scale programmable data planes. In ACM SIGCOMM, 2021."},{"key":"e_1_3_2_1_72_1","volume-title":"Linux Plumbers Conference","author":"Tu William","year":"2018","unstructured":"William Tu, Fabian Ruffy, and Mihai Budiu. P4C-XDP: Programming the linux kernel forwarding plane using P4. In Linux Plumbers Conference, 2018."},{"key":"e_1_3_2_1_73_1","volume-title":"Alveo: The composable SmartNIC. https:\/\/www.xilinx.com\/applications\/data-center\/network-acceleration\/alveo-sn1000.html","year":"2023","unstructured":"Xilinx. Alveo: The composable SmartNIC. https:\/\/www.xilinx.com\/applications\/data-center\/network-acceleration\/alveo-sn1000.html, 2023. Accessed: 2023-07-25."},{"key":"e_1_3_2_1_74_1","first-page":"4","volume-title":"FP4: Line-rate greybox fuzz testing for","author":"Yaseen Nofel","year":"2022","unstructured":"Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, and Vincent Liu. FP4: Line-rate greybox fuzz testing for p4 switches. arXiv preprint arXiv:2207.13147, 2022."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.55"},{"key":"e_1_3_2_1_77_1","volume-title":"ACM SIGCOMM","author":"Zheng Naiqian","year":"2022","unstructured":"Naiqian Zheng, Mengqi Liu, Ennan Zhai, Hongqiang Harry Liu, Yifan Li, Kaicheng Yang, Xuanzhe Liu, and Xin Jin. Meissa: Scalable network testing for programmable data planes. In ACM SIGCOMM, 2022."}],"event":{"name":"ACM SIGCOMM '23: ACM SIGCOMM 2023 Conference","location":"New York NY USA","acronym":"ACM SIGCOMM '23","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2023 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3604834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603269.3604834","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603269.3604834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:42Z","timestamp":1750178802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3604834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":77,"alternative-id":["10.1145\/3603269.3604834","10.1145\/3603269"],"URL":"https:\/\/doi.org\/10.1145\/3603269.3604834","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]},"assertion":[{"value":"2023-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}