{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T18:02:25Z","timestamp":1774720945224,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61371084"],"award-info":[{"award-number":["61371084"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/tnsm.2017.2763187","type":"journal-article","created":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T14:02:42Z","timestamp":1508940162000},"page":"232-244","source":"Crossref","is-referenced-by-count":8,"title":["Troubleshooting Data Plane With Rule Verification in Software-Defined Networks"],"prefix":"10.1109","volume":"15","author":[{"given":"Yusu","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pengfei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongkun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaohui","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"ref11","first-page":"71","article-title":"I know what your packet did last hop: Using packet histories to troubleshoot networks","author":"handigol","year":"2014","journal-title":"Proc NSDI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2016.7502919"},{"key":"ref13","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc NSDI"},{"key":"ref14","first-page":"127","article-title":"A nice way to test openflow applications","volume":"12","author":"canini","year":"2012","journal-title":"Proc NSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1364654.1364677"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2001.916283"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2006.885460"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342447"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018466"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787496"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"ref5","first-page":"275","article-title":"Buzz: Testing context-dependent policies in stateful networks","author":"fayaz","year":"2016","journal-title":"Proc USENIX Symp Netw Syst Design Implem (NSDI)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524333"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620756"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref9","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc NSDI"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902727"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2815675.2815692"},{"key":"ref21","year":"2017","journal-title":"tcpdump"},{"key":"ref24","year":"2016","journal-title":"Open Vswitch Manual Ovs-Ofctl(8)"},{"key":"ref23","year":"2016","journal-title":"Data-Plane Development Kit"},{"key":"ref26","year":"2015","journal-title":"Pica8 P-5101"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626310"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4275028\/8310716\/08068240.pdf?arnumber=8068240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:22:12Z","timestamp":1642004532000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8068240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":28,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2017.2763187","relation":{},"ISSN":["1932-4537"],"issn-type":[{"value":"1932-4537","type":"print"}],"subject":[],"published":{"date-parts":[[2018,3]]}}}