{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:20:55Z","timestamp":1740133255644,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["407540_167173"],"award-info":[{"award-number":["407540_167173"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1109\/tnet.2022.3214062","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:21:27Z","timestamp":1667510487000},"page":"1324-1337","source":"Crossref","is-referenced-by-count":1,"title":["PTA: Finding Hard-to-Find Data Plane Bugs"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6059-7564","authenticated-orcid":false,"given":"Pietro","family":"Bressana","sequence":"first","affiliation":[{"name":"Intel Corporation, Zürich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3655-2873","authenticated-orcid":false,"given":"Noa","family":"Zilberman","sequence":"additional","affiliation":[{"name":"Department of Engineering Science, University of Oxford, Oxford, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2825-6660","authenticated-orcid":false,"given":"Robert","family":"Soul\u00e9","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Yale University, New Haven, CT, USA"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098825"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"journal-title":"Barefoot tofino","year":"2018","key":"ref34"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2020.2992106"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491190"},{"key":"ref14","first-page":"35","article-title":"NetChain: Scale-free sub-RTT coordination","author":"jin","year":"2018","journal-title":"Proc USENIX Symp Netw Syst Design Implement (NSDI)"},{"journal-title":"The P4 Language Specification Version 1 0 3","year":"2018","key":"ref36"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3060603"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293924"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3359989.3365406"},{"journal-title":"SDNet","year":"2014","key":"ref33"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2014.6915433"},{"journal-title":"Inband Network Telemetry","year":"2017","key":"ref32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MSE.2007.69"},{"journal-title":"Monitoring and Troubleshooting One Engineer’s Rant","year":"2011","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"journal-title":"Introduction to NPLSpec","year":"2019","key":"ref39"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380836"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2014.19"},{"key":"ref19","article-title":"Extending the range of P4 programmability","author":"brebner","year":"2018","journal-title":"keynote at the P4EU Workshop Cambridge U K"},{"journal-title":"P416 portable switch architecture (PSA)","year":"2019","key":"ref18"},{"journal-title":"PTA Blinded Reporsitory","year":"2020","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185468"},{"journal-title":"Measuring and troubleshooting large operational multipath networks with gray box testing","year":"2015","author":"zeng","key":"ref45"},{"journal-title":"Undefined Behaviors—P416 Language Specification","year":"2017","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431313"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.556946"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1979.1084676"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_2"},{"key":"ref44","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc 5th USENIX Conf Operating Syst Design Implementation"},{"journal-title":"P4fuzz A Compiler Fuzzer for Securing P4 Programmable Dataplanes","year":"2018","author":"agape","key":"ref21"},{"key":"ref43","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 USENIX Symp Netw Syst Design Implement (NSDI)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303979"},{"journal-title":"Meltdown and Spectre","year":"2020","key":"ref27"},{"key":"ref29","first-page":"125","article-title":"Stateless datacenter load-balancing with beamer","author":"olteanu","year":"2018","journal-title":"Proc USENIX Symp Netw Syst Design Implement (NSDI)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085145"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2014.61"},{"journal-title":"Spirent","year":"2020","key":"ref6"},{"journal-title":"IxNetwork","year":"2019","key":"ref5"},{"journal-title":"Carrier Ethernet Service Activation Testing (SAT) Technical Specification MEF48","year":"2014","key":"ref40"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/10153803\/09923645.pdf?arnumber=9923645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T18:41:40Z","timestamp":1688409700000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9923645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":45,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2022.3214062","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"type":"print","value":"1063-6692"},{"type":"electronic","value":"1558-2566"}],"subject":[],"published":{"date-parts":[[2023,6]]}}}