{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:43:47Z","timestamp":1760057027493,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","funder":[{"name":"JST SPRING","award":["JPMJFS2136"],"award-info":[{"award-number":["JPMJFS2136"]}]},{"name":"JST ASPIRE","award":["JPMJAP2325"],"award-info":[{"award-number":["JPMJAP2325"]}]},{"name":"JSPS Kakenhi","award":["20H04185"],"award-info":[{"award-number":["20H04185"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3750022.3750464","type":"proceedings-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T13:46:39Z","timestamp":1755611199000},"page":"43-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Refining Specifications for Configuration Repair with Side Effect Diagnosis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6234-0578","authenticated-orcid":false,"given":"Ryusei","family":"Shiiba","sequence":"first","affiliation":[{"name":"Sokendai, Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1017-0938","authenticated-orcid":false,"given":"Satoru","family":"Kobayashi","sequence":"additional","affiliation":[{"name":"Okayama University, Okayama, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8681-7801","authenticated-orcid":false,"given":"Osamu","family":"Akashi","sequence":"additional","affiliation":[{"name":"NII, Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8372-2807","authenticated-orcid":false,"given":"Kensuke","family":"Fukuda","sequence":"additional","affiliation":[{"name":"NII\/Sokendai Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. USENIX NSDI'20","author":"Beckett Ryan","year":"2022","unstructured":"Ryan Beckett and Aarti Gupta. 2022. Katra: Realtime Verification for Multilayer Networks. In Proc. USENIX NSDI'20. Renton, WA, 617--634."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. USENIX NSDI'20","author":"Birkner Rudiger","year":"2020","unstructured":"Rudiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, and Martin Vechev. 2020. Config2Spec: Mining Network Specifications from Network Configurations. In Proc. USENIX NSDI'20. Santa Clara, CA, 969--984."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604866"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. USENIX NSDI'18","author":"El-Hassany Ahmed","year":"2018","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In Proc. USENIX NSDI'18. 579--594."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132753"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815675.2815684"},{"volume-title":"Proc. IEEE ICNP'23","author":"Kang N.","key":"e_1_3_2_1_9_1","unstructured":"N. Kang, P. Zhang, H. Li, S. Wen, C. Ji, and Y. Yang. 2023. Network Specification Mining with High Fidelity and Scalability. In Proc. IEEE ICNP'23. Los Alamitos, CA, USA, 1--11."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229585"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696348.3696895"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672238"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600061.3600065"},{"key":"e_1_3_2_1_15_1","unstructured":"Rulan Yang Hanyang Shao Gao Han Ziyi Wang Xing Fang Lizhao You Qiao Xiang Linghe Kong Ruiting Zhou and Jiwu Shu. 2024. Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation. (2024). arXiv:2409.20306"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. USENIX NSDI 22","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. 2022. Differential Network Analysis. In Proc. USENIX NSDI 22. Renton, WA, 601--615."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Coimbra Portugal","acronym":"SIGCOMM '25"},"container-title":["Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750022.3750464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T14:11:58Z","timestamp":1760019118000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750022.3750464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":18,"alternative-id":["10.1145\/3750022.3750464","10.1145\/3750022"],"URL":"https:\/\/doi.org\/10.1145\/3750022.3750464","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}