{"id":"https://openalex.org/W4414459028","doi":"https://doi.org/10.1109/ton.2025.3607440","title":"Network Specification Mining With High Fidelity, Scalability, and Readability","display_name":"Network Specification Mining With High Fidelity, Scalability, and Readability","publication_year":2025,"publication_date":"2025-09-24","ids":{"openalex":"https://openalex.org/W4414459028","doi":"https://doi.org/10.1109/ton.2025.3607440"},"language":"en","primary_location":{"id":"doi:10.1109/ton.2025.3607440","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ton.2025.3607440","pdf_url":null,"source":{"id":"https://openalex.org/S5407042750","display_name":"IEEE Transactions on Networking","issn_l":"2998-4157","issn":["2998-4157"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ning Kang","orcid":"https://orcid.org/0009-0009-3977-5093"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ning Kang","raw_affiliation_strings":["Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0009-0009-3977-5093","affiliations":[{"raw_affiliation_string":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101949155","display_name":"Peng Zhang","orcid":"https://orcid.org/0000-0001-7721-2675"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Zhang","raw_affiliation_strings":["Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0000-0001-7721-2675","affiliations":[{"raw_affiliation_string":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028635734","display_name":"Hao Li","orcid":"https://orcid.org/0000-0001-8776-6911"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Li","raw_affiliation_strings":["Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0000-0001-8776-6911","affiliations":[{"raw_affiliation_string":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013434877","display_name":"Sisi Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sisi Wen","raw_affiliation_strings":["Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ministry of Education (MOE) Key Laboratory for Intelligent Networks and Network Security, Xi&#x2019;an Jiaotong University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011248566","display_name":"Chaoyang Ji","orcid":"https://orcid.org/0009-0008-3686-4464"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chaoyang Ji","raw_affiliation_strings":["Huawei Cloud Computing Technology Company Ltd., Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Cloud Computing Technology Company Ltd., Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049498035","display_name":"Yongqiang Yang","orcid":"https://orcid.org/0000-0001-9733-4346"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Yang","raw_affiliation_strings":["Huawei Cloud Computing Technology Company Ltd., Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9733-4346","affiliations":[{"raw_affiliation_string":"Huawei Cloud Computing Technology Company Ltd., Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28742257,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":null,"first_page":"737","last_page":"752"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9557999968528748,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9557999968528748,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9362999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7034000158309937},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6086000204086304},{"id":"https://openalex.org/keywords/readability","display_name":"Readability","score":0.5444999933242798},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5203999876976013},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.42750000953674316},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.38179999589920044},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.375},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.37400001287460327}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7907000184059143},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7034000158309937},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6086000204086304},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.5444999933242798},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5203999876976013},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4848000109195709},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.42750000953674316},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3910999894142151},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.375},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.37400001287460327},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.34630000591278076},{"id":"https://openalex.org/C2779618445","wikidata":"https://www.wikidata.org/wiki/Q1640628","display_name":"Network service","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.3190999925136566},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C129119673","wikidata":"https://www.wikidata.org/wiki/Q4418003","display_name":"Network element","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2563999891281128}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ton.2025.3607440","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ton.2025.3607440","pdf_url":null,"source":{"id":"https://openalex.org/S5407042750","display_name":"IEEE Transactions on Networking","issn_l":"2998-4157","issn":["2998-4157"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Networking","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2275947186","display_name":null,"funder_award_id":"62272381","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4799629975","display_name":null,"funder_award_id":"62572382","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1680918052","https://openalex.org/W1992123139","https://openalex.org/W2021234005","https://openalex.org/W2067191022","https://openalex.org/W2118404561","https://openalex.org/W2120636855","https://openalex.org/W2122695394","https://openalex.org/W2126822952","https://openalex.org/W2137793678","https://openalex.org/W2160642098","https://openalex.org/W2165232124","https://openalex.org/W2324910104","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2536639940","https://openalex.org/W2552298303","https://openalex.org/W2742515467","https://openalex.org/W2764015261","https://openalex.org/W2996714391","https://openalex.org/W3005038143","https://openalex.org/W3046445220","https://openalex.org/W3046676529","https://openalex.org/W3108015722","https://openalex.org/W4231410305","https://openalex.org/W4233126987","https://openalex.org/W4248605401","https://openalex.org/W4250834178","https://openalex.org/W4290991530","https://openalex.org/W4386385177","https://openalex.org/W4389989119","https://openalex.org/W4401176476"],"related_works":[],"abstract_inverted_index":{"Network":[0],"specification,":[1],"which":[2,82],"describes":[3],"what":[4],"an":[5],"existing":[6],"network":[7,26,87,109],"is":[8,21,104],"designed":[9],"for,":[10],"can":[11,83,191],"help":[12],"operators":[13,70],"better":[14],"understand":[15],"and":[16,20,28,93,111,118,140,169,183,202],"manage":[17],"their":[18],"networks,":[19,43],"a":[22,53,160,178],"critical":[23],"pre-condition":[24],"for":[25,35,69],"verification":[27],"synthesis":[29],"tools":[30,34],"to":[31,41,71,95,105,124,143,163,171,217],"work.":[32],"Existing":[33],"specification":[36,51,85,166,193],"mining":[37],"either":[38],"cannot":[39],"scale":[40,45],"large":[42,179],"or":[44],"by":[46,135,208],"sacrificing":[47],"fidelity.":[48,127],"Moreover,":[49,151],"the":[50,108,133,146,165,204],"contains":[52],"huge":[54],"number":[55,147,205],"of":[56,61,63,100,148,206],"low-level":[57,157],"intents":[58,158,207],"(e.g.,":[59],"tens":[60],"thousands":[62],"pairwise":[64],"reachability),":[65],"making":[66],"it":[67],"hard":[68],"read.":[72,96,172],"To":[73],"this":[74,76],"end,":[75],"paper":[77],"presents":[78],"<italic":[79,101,129,152,188],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[80,102,130,153,189,195,210],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">NetMiner</i>,":[81],"mine":[84,192],"from":[86,177],"configurations,":[88],"with":[89,114],"high":[90,126],"scalability,":[91],"fidelity,":[92],"easier":[94,170],"The":[97],"key":[98],"idea":[99],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">NetMiner</i>":[103,131,154,190],"faithfully":[106],"simulate":[107],"routing":[110],"forwarding":[112],"behaviors":[113],"control":[115],"plane":[116,120],"simulators":[117],"data":[119],"verifiers,":[121],"so":[122],"as":[123],"achieve":[125],"Meanwhile,":[128],"improves":[132],"scalability":[134],"identifying":[136],"relevant":[137],"failure":[138],"scenarios,":[139],"aggregating":[141],"them":[142],"significantly":[144],"reduce":[145,203],"needed":[149],"simulations.":[150],"clusters":[155],"similar":[156],"into":[159],"high-level":[161],"intent,":[162],"make":[164],"more":[167],"concise":[168],"Experiments":[173],"using":[174],"real":[175],"configurations":[176,185],"cloud":[180],"service":[181],"provider":[182],"synthetic":[184],"show":[186],"that":[187],"<inline-formula":[194,209],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[196,211],"<tex-math":[197,212],"notation=\"LaTeX\">$10\\times":[198],"$</tex-math>":[199,214],"</inline-formula>":[200],"faster,":[201],"notation=\"LaTeX\">$100\\times":[213],"</inline-formula>,":[215],"compared":[216],"state-of-the-art":[218],"tools.":[219]},"counts_by_year":[],"updated_date":"2026-01-01T23:40:50.289205","created_date":"2025-10-10T00:00:00"}