{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:18:25Z","timestamp":1761401905584,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T00:00:00Z","timestamp":1522195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,3,28]]},"DOI":"10.1145\/3185467.3185497","type":"proceedings-article","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T12:30:47Z","timestamp":1521808247000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["p4pktgen"],"prefix":"10.1145","author":[{"given":"Andres","family":"N\u00f6tzli","sequence":"first","affiliation":[{"name":"Stanford University"}]},{"given":"Jehandad","family":"Khan","sequence":"additional","affiliation":[{"name":"Virginia Tech"}]},{"given":"Andy","family":"Fingerhut","sequence":"additional","affiliation":[{"name":"Cisco Systems"}]},{"given":"Clark","family":"Barrett","sequence":"additional","affiliation":[{"name":"Stanford University"}]},{"given":"Peter","family":"Athanas","sequence":"additional","affiliation":[{"name":"Virginia Tech"}]}],"member":"320","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanovi\u0107 Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV.   Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanovi\u0107 Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV.","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"e_1_3_2_1_3_1","unstructured":"Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016).  Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_5_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI.","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , Dawson R Engler , 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI. Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI."},{"key":"e_1_3_2_1_6_1","unstructured":"Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI.   Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI."},{"key":"e_1_3_2_1_7_1","unstructured":"P4 community. 2017. BMv2. https:\/\/github.com\/p4lang\/behavioral-model. (2017).  P4 community. 2017. BMv2. https:\/\/github.com\/p4lang\/behavioral-model. (2017)."},{"key":"e_1_3_2_1_8_1","unstructured":"P4 community. 2017. p4c. https:\/\/github.com\/p4lang\/p4c. (2017).  P4 community. 2017. p4c. https:\/\/github.com\/p4lang\/p4c. (2017)."},{"key":"e_1_3_2_1_9_1","unstructured":"P4 community. 2017. Switch. https:\/\/github.com\/p4lang\/switch. (2017).  P4 community. 2017. Switch. https:\/\/github.com\/p4lang\/switch. (2017)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050231"},{"key":"e_1_3_2_1_11_1","volume-title":"Z3: An efficient SMT solver. TACAS","author":"Moura Leonardo De","year":"2008","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver. TACAS ( 2008 ). Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. TACAS (2008)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2823400"},{"key":"e_1_3_2_1_13_1","unstructured":"Nate Foster Cole Schlesinger Robert Soul\u00e9 and Han Wang. 2017. A Program Logic for Automated P4 Verification. (2017). http:\/\/p4.org\/wp-content\/uploads\/2017\/06\/p4-ws-2017-hoare.pdf.  Nate Foster Cole Schlesinger Robert Soul\u00e9 and Han Wang. 2017. A Program Logic for Automated P4 Verification. (2017). http:\/\/p4.org\/wp-content\/uploads\/2017\/06\/p4-ws-2017-hoare.pdf."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"e_1_3_2_1_16_1","unstructured":"Peyman Kazemian George Varghese and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks.. In NSDI.   Peyman Kazemian George Varghese and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks.. In NSDI."},{"key":"e_1_3_2_1_17_1","unstructured":"Ali Kheradmand and Grigore Rosu. 2017. Executable Formal Semantic of P4 and Applications. (2017). http:\/\/p4.org\/wp-content\/uploads\/2017\/06\/p4-ws-2017-p4k-executable-formal-semantic.pdf.  Ali Kheradmand and Grigore Rosu. 2017. Executable Formal Semantic of P4 and Applications. (2017). http:\/\/p4.org\/wp-content\/uploads\/2017\/06\/p4-ws-2017-p4k-executable-formal-semantic.pdf."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413207"},{"key":"e_1_3_2_1_21_1","volume-title":"An overview of the K semantic framework. The Journal of Logic and Algebraic Programming","author":"Rosu Grigore","year":"2010","unstructured":"Grigore Rosu and Traian Florin \u015eerb\u0103nut\u0103 . 2010. An overview of the K semantic framework. The Journal of Logic and Algebraic Programming ( 2010 ). Grigore Rosu and Traian Florin \u015eerb\u0103nut\u0103. 2010. An overview of the K semantic framework. The Journal of Logic and Algebraic Programming (2010)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_23_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. 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_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893156"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993532"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"}],"event":{"name":"SOSR '18: Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","ONS Open Networking Summit"],"location":"Los Angeles CA USA","acronym":"SOSR '18"},"container-title":["Proceedings of the Symposium on SDN Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185467.3185497","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3185467.3185497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:36Z","timestamp":1750213596000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185467.3185497"}},"subtitle":["Automated Test Case Generation for P4 Programs"],"short-title":[],"issued":{"date-parts":[[2018,3,28]]},"references-count":25,"alternative-id":["10.1145\/3185467.3185497","10.1145\/3185467"],"URL":"https:\/\/doi.org\/10.1145\/3185467.3185497","relation":{},"subject":[],"published":{"date-parts":[[2018,3,28]]},"assertion":[{"value":"2018-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}