{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T18:41:31Z","timestamp":1767292891823,"version":"3.48.0"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272381"],"award-info":[{"award-number":["62272381"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62572382"],"award-info":[{"award-number":["62572382"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/ton.2025.3607440","type":"journal-article","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:32:59Z","timestamp":1758735179000},"page":"737-752","source":"Crossref","is-referenced-by-count":0,"title":["Network Specification Mining With High Fidelity, Scalability, and Readability"],"prefix":"10.1109","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3977-5093","authenticated-orcid":false,"given":"Ning","family":"Kang","sequence":"first","affiliation":[{"name":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi’an Jiaotong University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7721-2675","authenticated-orcid":false,"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[{"name":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi’an Jiaotong University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8776-6911","authenticated-orcid":false,"given":"Hao","family":"Li","sequence":"additional","affiliation":[{"name":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi’an Jiaotong University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sisi","family":"Wen","sequence":"additional","affiliation":[{"name":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi’an Jiaotong University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaoyang","family":"Ji","sequence":"additional","affiliation":[{"name":"Huawei Cloud Computing Technology Company Ltd., Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9733-4346","authenticated-orcid":false,"given":"Yongqiang","family":"Yang","sequence":"additional","affiliation":[{"name":"Huawei Cloud Computing Technology Company Ltd., Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"201","article-title":"Tiramisu: Fast multilayer network verification","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Abhashkumar"},{"key":"ref2","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Prabhu"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"ref10","first-page":"579","article-title":"NetComplete: Practical network-wide configuration synthesis with autocompletion","volume-title":"Proc. 15th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"El-Hassany"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3179425"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"ref14","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Fogel"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3371110"},{"key":"ref17","first-page":"601","article-title":"Differential network analysis","volume-title":"Proc. USENIX NSDI","author":"Zhang"},{"key":"ref18","first-page":"241","article-title":"APKeep: Realtime verification for real networks","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Zhang"},{"key":"ref19","first-page":"735","article-title":"Delta-Net: Real-time network verification using atoms","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Horn"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/OIC.2013.6552917"},{"key":"ref25","first-page":"969","article-title":"Config2Spec: Mining network specifications from network configurations","volume-title":"Proc. 17th USENIX Symp. Networked Syst. Design Implement. (NSDI)","author":"Birkner"},{"volume-title":"Computer Networks","year":"2010","author":"Tanenbaum","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP59255.2023.10355598"},{"volume-title":"Annual Outage Analysis Report 2021","year":"2021","key":"ref28"},{"volume-title":"Annual Outage Analysis Report 2023","year":"2023","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672238"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604866"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380831"},{"volume-title":"Annual Outage Analysis Report 2024","year":"2024","key":"ref33"},{"volume-title":"Annual Outage Analysis Report 2025","year":"2025","key":"ref34"},{"issue":"6","key":"ref35","first-page":"1820","article-title":"Segmentation of ischemic stroke lesion based on long-distance dependency encoding and deep residual U-Net","volume":"41","author":"Huang","year":"2021","journal-title":"J. Comput. Appl."},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535862"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787506"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00108-9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21903-5_8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2922"},{"key":"ref42","first-page":"281","article-title":"Some methods for classification and analysis of multivariate observations","volume-title":"Proc. 5th Berkeley Symp. Math. Statist. Probab.","volume":"1","author":"MacQueen"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.5555\/3001460.3001507"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/304181.304187"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/34.1000236"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1126\/science.1136800"},{"key":"ref47","first-page":"1213","article-title":"CloudCluster: Unearthing the functional structure of a cloud service","volume-title":"Proc. 19th USENIX Symp. Networked Syst. Design Implement. (NSDI)","author":"Pang"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/16.1.30"},{"volume-title":"Tiramisu Source Code","year":"2020","author":"Abhashkumar","key":"ref49"},{"volume-title":"Config2Spec Source Code","year":"2020","author":"Birkner","key":"ref50"}],"container-title":["IEEE Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10723154\/11317935\/11178104.pdf?arnumber=11178104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T18:36:35Z","timestamp":1767292595000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11178104\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ton.2025.3607440","relation":{},"ISSN":["2998-4157"],"issn-type":[{"type":"electronic","value":"2998-4157"}],"subject":[],"published":{"date-parts":[[2026]]}}}