{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:55:07Z","timestamp":1757627707761,"version":"3.44.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"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":["Grant Nos. 92267206,62032013,U22B2005,XLYC2403086"],"award-info":[{"award-number":["Grant Nos. 92267206,62032013,U22B2005,XLYC2403086"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,2]]},"DOI":"10.1109\/iwqos65803.2025.11143507","type":"proceedings-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T17:29:52Z","timestamp":1757438992000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Automatically Mining the Causality Between Network Configurations and Routing Behaviors"],"prefix":"10.1109","author":[{"given":"Fuliang","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tangzheng","family":"Xie","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bocheng","family":"Liang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenbei","family":"Guo","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haozhi","family":"Lang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingwei","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Dhcp options for service location protocol","author":"Guttman","year":"1999","journal-title":"IETF RFC 2610"},{"key":"ref2","volume-title":"Juniper and cisco routing policy and protocols for multivendor ip networks","author":"Goralski","year":"2021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/b978-1-59749-418-2.00006-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_51"},{"key":"ref6","article-title":"Prognosis: Black-box analysis of network protocol implementations","author":"Alexandra","year":"2021","journal-title":"Isaac Newton Institute for Mathematical Sciences"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342087"},{"key":"ref8","article-title":"Analyzing protocol implementations for interoperability","author":"Pedrosa","year":"2015","journal-title":"Networked Systems Design and Implementation, Networked Systems Design and Implementation"},{"key":"ref9","article-title":"Metha: Network verifiers need to be correct too!","author":"Birkner","year":"2021","journal-title":"NSDI 21"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2010.10.014"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref12","article-title":"Differential network analysis","author":"Zhang","year":"2022","journal-title":"NSDI \u201922"},{"key":"ref13","volume-title":"Facebook users, stats, data & trends","author":"Kemp","year":"2023"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068863"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"ref16","author":"Foundation","year":"2023","journal-title":"JaCoCo: Java Code Coverage Library"},{"key":"ref17","first-page":"1021","volume-title":"Differential datalog: A declarative language for incremental processing","author":"Nikolic","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.1999.10474456"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1109\/IJCNN.2009.5178855","article-title":"Cart data analysis to attain interpretability in a fuzzy logic classifier","volume-title":"2009 International Joint Conference on Neural Networks","author":"Vagliasindi","year":"Jun 2009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.25126\/jtiik.2020742665"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1109\/ICDCS.2017.55","article-title":"Pronto: Efficient test packet generation for dynamic network data planes","volume-title":"2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS)","author":"Zhao","year":"Jun 2017"},{"key":"ref23","article-title":"Buzz: testing context-dependent policies in stateful networks","author":"Fayaz","year":"2016","journal-title":"Networked Systems Design and Implementation, Networked Systems Design and Implementation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"ref25","article-title":"A nice way to test openflow applications","author":"Canini","year":"2012","journal-title":"Networked Systems Design and Implementation, Networked Systems Design and Implementation"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386019"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984012"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3363824"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2016.23368","article-title":"Driller: Augmenting fuzzing through selective symbolic execution","volume-title":"Proceedings 2016 Network and Distributed System Security Symposium","author":"Stephens","year":"Jan 2016"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.08.024"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0646-0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.5465\/amj.2011.60263120"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2006.551.559"},{"key":"ref37","article-title":"Finding network misconfigurations by automatic template inference","author":"Kakarla","year":"2020","journal-title":"Networked Systems Design and Implementation, Networked Systems Design and Implementation"},{"key":"ref38","article-title":"Config2spec: Mining network specifications from network configurations","author":"Birkner","year":"2020","journal-title":"Networked Systems Design and Implementation, Networked Systems Design and Implementation"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365866"}],"event":{"name":"2025 IEEE\/ACM International Symposium on Quality of Service (IWQoS)","location":"Gold Coast, Australia","start":{"date-parts":[[2025,7,2]]},"end":{"date-parts":[[2025,7,4]]}},"container-title":["2025 IEEE\/ACM 33rd International Symposium on Quality of Service (IWQoS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11143240\/11143247\/11143507.pdf?arnumber=11143507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T05:04:53Z","timestamp":1757480693000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11143507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,2]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/iwqos65803.2025.11143507","relation":{},"subject":[],"published":{"date-parts":[[2025,7,2]]}}}