{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T07:05:19Z","timestamp":1744095919811,"version":"3.37.3"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["62102020"],"award-info":[{"award-number":["62102020"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0200500"],"award-info":[{"award-number":["2020YFE0200500"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["62002009"],"award-info":[{"award-number":["62002009"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1109\/tpds.2023.3241433","type":"journal-article","created":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T19:16:29Z","timestamp":1675365389000},"page":"1362-1375","source":"Crossref","is-referenced-by-count":3,"title":["A General Approach to Generate Test Packets With Network Configurations"],"prefix":"10.1109","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0148-5965","authenticated-orcid":false,"given":"Yahui","family":"Li","sequence":"first","affiliation":[{"name":"Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4429-9959","authenticated-orcid":false,"given":"Han","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China"}]},{"given":"Jilong","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6587-820X","authenticated-orcid":false,"given":"Zhiliang","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technology, Tsinghua University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6487-9526","authenticated-orcid":false,"given":"Xingang","family":"Shi","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China"}]},{"given":"Jianping","family":"Wu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technology, Tsinghua University, Beijing, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref2","first-page":"499","article-title":"Checking beliefs in dynamic networks","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Lopes"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2013.2253121"},{"article-title":"Network outages like nyse, united airlines, are the new natural disasters. understanding BGP path selection","year":"2015","author":"Whittaker","key":"ref4"},{"key":"ref5","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"Proc. 12th USENIX Conf. Netw. Syst. Des. Implementation","author":"Fogel"},{"key":"ref6","first-page":"217","article-title":"Efficient network reachability analysis using a succinct control plane representation","volume-title":"Proc. 12th USENIX Conf. Operating Syst. Des. Implementation","author":"Fayaz"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3106989.3106991"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"},{"key":"ref9","first-page":"735","article-title":"Delta-Net: Real-time network verification using atoms","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Horn"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.55"},{"key":"ref12","first-page":"87","article-title":"Libra: Divide and conquer to verify forwarding tables in huge networks","volume-title":"Proc. 11th USENIX Symp. Netw. Syst. Des. Implementation","author":"Zeng"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3152434.3152439"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"year":"2022","key":"ref16","article-title":"Cisco ios configuration fundamentals command reference"},{"year":"2022","key":"ref17","article-title":"Juniper ios configuration fundamentals command reference."},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref19","first-page":"62","article-title":"Optimization of network firewall policies using directed acyclic graphs","volume-title":"Proc IEEE Internet Manage. Conf.","author":"Fulp","year":"2005"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1871437.1871501"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2815675.2815684"},{"key":"ref22","first-page":"601","article-title":"Differential network analysis","volume-title":"Proc. 19th USENIX Symp. Netw. Syst. Des. Implementation","author":"Zhang"},{"year":"2022","key":"ref23","article-title":"Network configurations"},{"year":"2018","key":"ref24","article-title":"Campus network of beijing jiaotong university"},{"key":"ref25","first-page":"9","article-title":"Header space analysis: Static checking for networks","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Kazemian"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref27","first-page":"275","article-title":"Buzz: Testing context-dependent policies in stateful networks","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Fayaz"},{"key":"ref28","first-page":"1","article-title":"Monocle: Dynamic, fine-grained data plane monitoring","volume-title":"Proc. ACM Conf.","author":"Pereini"},{"first-page":"1","volume-title":"Proc. IEEE Int. Conf. Comput. Commun.","author":"Bu","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2017.8117541"},{"key":"ref31","first-page":"699","article-title":"Verifying Reachability in Networks With Mutable Datapaths","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Panda"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"ref36","first-page":"127","article-title":"A nice way to test openflow applications","volume-title":"Proc. USENIX Conf. Netw. Syst. Des. Implementation","author":"Canini"},{"key":"ref37","first-page":"165","article-title":"Systematically exploring the behavior of control programs","volume-title":"Proc. USENIX Conf. USENIX Tech. Conf.","author":"Croft"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/APNOMS.2014.6996558"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838225"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/71\/10043602\/10035502-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/10043602\/10035502.pdf?arnumber=10035502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T13:06:39Z","timestamp":1707829599000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10035502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":40,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2023.3241433","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2023,4]]}}}