{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:04Z","timestamp":1750221244621,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T00:00:00Z","timestamp":1533600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1513906"],"award-info":[{"award-number":["1513906"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,8,7]]},"DOI":"10.1145\/3229616.3229617","type":"proceedings-article","created":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T19:07:07Z","timestamp":1533150427000},"page":"46-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["High-coverage testing of softwarized networks"],"prefix":"10.1145","author":[{"given":"Santhosh","family":"Prabhu","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gohar Irfan","family":"Chaudhry","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brighten","family":"Godfrey","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Caesar","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,8,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. Red Hat Customer Portal. https:\/\/access.redhat.com\/solutions\/53031. ({n. d.}). Accessed: 2018-03-20.  {n. d.}. Red Hat Customer Portal. https:\/\/access.redhat.com\/solutions\/53031. ({n. d.}). Accessed: 2018-03-20."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"volume-title":"Presented as part of NSDI 12","author":"Canini Marco","key":"e_1_3_2_1_3_1","unstructured":"Marco Canini , Daniele Venzano , Peter Pere\u0161\u00edni , Dejan Kosti\u0107 , and Jennifer Rexford . 2012. A NICE Way to Test OpenFlow Applications . In Presented as part of NSDI 12 . USENIX , San Jose, CA , 127--140. Marco Canini, Daniele Venzano, Peter Pere\u0161\u00edni, Dejan Kosti\u0107, and Jennifer Rexford. 2012. A NICE Way to Test OpenFlow Applications. In Presented as part of NSDI 12. USENIX, San Jose, CA, 127--140."},{"key":"e_1_3_2_1_4_1","volume-title":"Software Dataplane Verification. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)","author":"Dobrescu Mihai","year":"2014","unstructured":"Mihai Dobrescu and Katerina Argyraki . 2014 . Software Dataplane Verification. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) . USENIX Association, Seattle, WA, 101--114. Mihai Dobrescu and Katerina Argyraki. 2014. Software Dataplane Verification. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). USENIX Association, Seattle, WA, 101--114."},{"key":"e_1_3_2_1_5_1","unstructured":"Seyed K. Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI 16. GA 217--232.   Seyed K. Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI 16. GA 217--232."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064201"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_9_1","volume-title":"Delta-net: Real-time Network Verification Using Atoms. In NSDI 17","author":"Horn Alex","year":"2017","unstructured":"Alex Horn , Ali Kheradmand , and Mukul Prasad . 2017 . Delta-net: Real-time Network Verification Using Atoms. In NSDI 17 . USENIX Association , Boston, MA , 735--749. Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time Network Verification Using Atoms. In NSDI 17. USENIX Association, Boston, MA, 735--749."},{"volume-title":"NSDI 13.","author":"Kazemian Peyman","key":"e_1_3_2_1_10_1","unstructured":"Peyman Kazemian , Michael Chang , Hongyi Zeng , George Varghese , Nick McKeown , and Scott Whyte . 2013. Real Time Network Policy Checking Using Header Space Analysis . In NSDI 13. Lombard, IL . Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. 2013. Real Time Network Policy Checking Using Header Space Analysis. In NSDI 13. Lombard, IL."},{"volume-title":"NSDI 12","author":"Kazemian Peyman","key":"e_1_3_2_1_11_1","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012. Header Space Analysis: Static Checking for Networks . In NSDI 12 . USENIX , San Jose, CA , 113--126. Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In NSDI 12. USENIX, San Jose, CA, 113--126."},{"volume-title":"Proceedings of NSDI '13","author":"Khurshid Ahmed","key":"e_1_3_2_1_12_1","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . 2013. VeriFlow: Verifying Network-wide Invariants in Real Time . In Proceedings of NSDI '13 . USENIX Association, Berkeley, CA, USA, 15--28. Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-wide Invariants in Real Time. In Proceedings of NSDI '13. USENIX Association, Berkeley, CA, USA, 15--28."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"volume-title":"NSDI 17","author":"Panda Aurojit","key":"e_1_3_2_1_15_1","unstructured":"Aurojit Panda , Ori Lahav , Katerina Argyraki , Mooly Sagiv , and Scott Shenker . 2017. Verifying Reachability in Networks with Mutable Datapaths . In NSDI 17 . USENIX Association , Boston, MA , 699--718. Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, and Scott Shenker. 2017. Verifying Reachability in Networks with Mutable Datapaths. In NSDI 17. USENIX Association, Boston, MA, 699--718."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106989.3106991"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098833"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"}],"event":{"name":"SIGCOMM '18: ACM SIGCOMM 2018 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Budapest Hungary","acronym":"SIGCOMM '18"},"container-title":["Proceedings of the 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3229616.3229617","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3229616.3229617","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3229616.3229617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:37Z","timestamp":1750212457000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3229616.3229617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,7]]},"references-count":18,"alternative-id":["10.1145\/3229616.3229617","10.1145\/3229616"],"URL":"https:\/\/doi.org\/10.1145\/3229616.3229617","relation":{},"subject":[],"published":{"date-parts":[[2018,8,7]]},"assertion":[{"value":"2018-08-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}