{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:18:23Z","timestamp":1761401903407},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/icnp.2017.8117548","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:01:23Z","timestamp":1511474483000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["P4DB: On-the-fly debugging of the programmable data plane"],"prefix":"10.1109","author":[{"given":"Cheng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Bi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianping","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bingyang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaogeng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul Basit","family":"Dogar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yangyang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524562"},{"key":"ref11","first-page":"29","article-title":"Ofrewind: Enabling record and replay troubleshooting for networks","author":"wundsam","year":"2011","journal-title":"Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference USENIXATC'11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2013.2253121"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref14","first-page":"9","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation NSDI'12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524333"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"ref17","article-title":"Automatically verifying reachability and well-formedness in p4 networks","author":"mckeown","year":"2016","journal-title":"Technical Report"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098823"},{"journal-title":"Barefoot Networks P4-bmv2","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3063772"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674993"},{"key":"ref7","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":"Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation NSDI'14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050228"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"journal-title":"Barefoot Networks Barefoot Tofino","year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3060600"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999607"},{"journal-title":"A survey on network troubleshooting","year":"0","author":"zeng","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"}],"event":{"name":"2017 IEEE 25th International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2017,10,10]]},"location":"Toronto, ON","end":{"date-parts":[[2017,10,13]]}},"container-title":["2017 IEEE 25th International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8107606\/8117522\/08117548.pdf?arnumber=8117548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:41:13Z","timestamp":1515451273000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8117548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icnp.2017.8117548","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}