{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:40:03Z","timestamp":1756215603299,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T00:00:00Z","timestamp":1722729600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["U22B2005, 62372053, 62032013, 92267206, 62072091"],"award-info":[{"award-number":["U22B2005, 62372053, 62032013, 92267206, 62072091"]}]},{"name":"Key R&D Program of Zhejiang Province, China","award":["2023R5202"],"award-info":[{"award-number":["2023R5202"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,4]]},"DOI":"10.1145\/3672199.3673886","type":"proceedings-article","created":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T06:50:26Z","timestamp":1721717426000},"page":"39-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Testing System on P4 Cloud Gateway"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5198-8631","authenticated-orcid":false,"given":"Xin","family":"Yang","sequence":"first","affiliation":[{"name":"Northeastern University and Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4442-2817","authenticated-orcid":false,"given":"Enge","family":"Song","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9782-0053","authenticated-orcid":false,"given":"Fuliang","family":"Li","sequence":"additional","affiliation":[{"name":"Northeastern University"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3450-7250","authenticated-orcid":false,"given":"Wanli","family":"Cao","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7718-0669","authenticated-orcid":false,"given":"Tian","family":"Pan","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2611-757X","authenticated-orcid":false,"given":"Yang","family":"Song","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3662-3846","authenticated-orcid":false,"given":"Ye","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5374-6875","authenticated-orcid":false,"given":"Yongwang","family":"Wu","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2502-8686","authenticated-orcid":false,"given":"Jianyuan","family":"Lu","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1401-1606","authenticated-orcid":false,"given":"Bowen","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5379-7512","authenticated-orcid":false,"given":"Xing","family":"Li","sequence":"additional","affiliation":[{"name":"Zhejiang University and Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8096-5528","authenticated-orcid":false,"given":"Biao","family":"Lyu","sequence":"additional","affiliation":[{"name":"Zhejiang University and Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6384-1165","authenticated-orcid":false,"given":"Rong","family":"Wen","sequence":"additional","affiliation":[{"name":"Alibaba Cloud"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1231-9422","authenticated-orcid":false,"given":"Xingwei","family":"Wang","sequence":"additional","affiliation":[{"name":"Northeastern University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7756-0952","authenticated-orcid":false,"given":"Shunmin","family":"Zhu","sequence":"additional","affiliation":[{"name":"Hangzhou Feitian Cloud and Alibaba Cloud"}]}],"member":"320","published-online":{"date-parts":[[2024,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/www.fuzzingbook.org\/html\/SymbolicFuzzer.html#Symbolic-Fuzzing","author":"Fuzzing Symbolic","year":"2024","unstructured":"2024. Symbolic Fuzzing. (2024). https:\/\/www.fuzzingbook.org\/html\/SymbolicFuzzer.html#Symbolic-Fuzzing"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Dragos Dumitrescu Radu Stoenescu Lorina Negreanu and Costin Raiciu. 2020. bf4: towards bug-free P4 programs. In ACM SIGCOMM.","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_1_3_1","volume-title":"Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction","author":"Huang Heqing","year":"2020","unstructured":"Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, and Charles Zhang. 2020. Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. In IEEE SP."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Robert Soul\u00e9 Han Wang C\u0103lin Ca\u015fcaval Nick McKeown and Nate Foster. 2018. p4v: practical verification for programmable data planes. In ACM SIGCOMM.","DOI":"10.1145\/3230543.3230582"},{"volume-title":"Hybrid Concolic Testing","author":"Majumdar Rupak","key":"e_1_3_2_1_5_1","unstructured":"Rupak Majumdar and Koushik Sen. 2007. Hybrid Concolic Testing. In IEEE ICSE. 416--426."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Andres N\u00f6tzli Jehandad Khan Andy Fingerhut Clark Barrett and Peter Athanas. 2018. p4pktgen: Automated Test Case Generation for P4 Programs. In ACM SOSR.","DOI":"10.1145\/3185467.3185497"},{"key":"e_1_3_2_1_7_1","unstructured":"Brian Pak. 2012. Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution. https:\/\/api.semanticscholar.org\/CorpusID:18723765"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Tian Pan Nianbing Yu Chenhao Jia Jianwen Pi Liang Xu Yisong Qiao Zhiguo Li Kun Liu Jie Lu Jianyuan Lu Enge Song Jiao Zhang Tao Huang and Shunmin Zhu. 2021. Sailfish: accelerating cloud-scale multi-tenant multi-service gateways with programmable switches. In ACM SIGCOMM.","DOI":"10.1145\/3452296.3472889"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Fabian Ruffy Jed Liu Prathima Kotikalapudi Vojtech Havel Hanneli Tavante Rob Sherwood Vladyslav Dubina Volodymyr Peschanenko Anirudh Sivaraman and Nate Foster. 2023. P4Testgen: An Extensible Test Oracle For P4-16. In ACM SIGCOMM.","DOI":"10.1145\/3603269.3604834"},{"key":"e_1_3_2_1_10_1","unstructured":"Fabian Ruffy Tao Wang and Anirudh Sivaraman. 2020. Gauntlet: finding bugs in compilers for programmable packet processing. In USENIX OSDI."},{"volume-title":"Fix with P6: Verifying Programmable Switches at Runtime","author":"Shukla Apoorv","key":"e_1_3_2_1_11_1","unstructured":"Apoorv Shukla, Kevin Hudemann, Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann. 2021. Fix with P6: Verifying Programmable Switches at Runtime. In IEEE INFOCOM."},{"key":"e_1_3_2_1_12_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS.","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS."},{"key":"e_1_3_2_1_13_1","volume-title":"Vinay Ramakrishnaiah, Nirmal Prajapati, Pat McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, and Alex Aiken.","author":"Unger Colin","year":"2022","unstructured":"Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines, Carlos Efrain Quintero Narvaez, Vinay Ramakrishnaiah, Nirmal Prajapati, Pat McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, and Alex Aiken. 2022. Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. In USENIX OSDI."},{"key":"e_1_3_2_1_14_1","unstructured":"Nofel Yaseen Liangcheng Yu Caleb Stanford Ryan Beckett and Vincent Liu. 2022. FP4: Line-rate Greybox Fuzz Testing for P4 Switches. (2022). arXiv:cs.NI\/2207.13147"},{"key":"e_1_3_2_1_15_1","volume-title":"Yifan Li, Kaicheng Yang, Xuanzhe Liu, and Xin Jin.","author":"Zheng Naiqian","year":"2022","unstructured":"Naiqian Zheng, Mengqi Liu, Ennan Zhai, Hongqiang Harry Liu, Yifan Li, Kaicheng Yang, Xuanzhe Liu, and Xin Jin. 2022. Meissa: scalable network testing for programmable data planes. In ACM SIGCOMM."}],"event":{"name":"ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Sydney NSW Australia","acronym":"ACM SIGCOMM '24"},"container-title":["Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673886","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672199.3673886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:21:55Z","timestamp":1756214515000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673886"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,4]]},"references-count":15,"alternative-id":["10.1145\/3672199.3673886","10.1145\/3672199"],"URL":"https:\/\/doi.org\/10.1145\/3672199.3673886","relation":{},"subject":[],"published":{"date-parts":[[2024,8,4]]},"assertion":[{"value":"2024-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}