{"id":"https://openalex.org/W4389989119","doi":"https://doi.org/10.1109/icnp59255.2023.10355598","title":"Network Specification Mining with High Fidelity and Scalability","display_name":"Network Specification Mining with High Fidelity and Scalability","publication_year":2023,"publication_date":"2023-10-10","ids":{"openalex":"https://openalex.org/W4389989119","doi":"https://doi.org/10.1109/icnp59255.2023.10355598"},"language":"en","primary_location":{"id":"doi:10.1109/icnp59255.2023.10355598","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp59255.2023.10355598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","raw_type":"proceedings-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":"https://openalex.org/A5100642734","display_name":"Ning Kang","orcid":"https://orcid.org/0000-0003-4478-8402"},"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":["Xi'an Jiaotong University"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong University","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":["Xi'an Jiaotong University"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong University","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":["Xi'an Jiaotong University"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong University","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":["Xi'an Jiaotong University"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong University","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chaoyang Ji","raw_affiliation_strings":["Huawei Cloud Computing Technologies Co., Ltd"],"affiliations":[{"raw_affiliation_string":"Huawei Cloud Computing Technologies Co., Ltd","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073634202","display_name":"Yongqiang Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yongqiang Yang","raw_affiliation_strings":["Huawei Cloud Computing Technologies Co., Ltd"],"affiliations":[{"raw_affiliation_string":"Huawei Cloud Computing Technologies Co., Ltd","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100642734"],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":0.4018,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63757484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"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.9998999834060669,"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.9998999834060669,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9995999932289124,"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.9976000189781189,"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.8623929023742676},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8062731027603149},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.7283729910850525},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7085325121879578},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5662504434585571},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5653495788574219},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4961110055446625},{"id":"https://openalex.org/keywords/high-fidelity","display_name":"High fidelity","score":0.4897732734680176},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.13064751029014587},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09797009825706482}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.8623929023742676},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8062731027603149},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.7283729910850525},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7085325121879578},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5662504434585571},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5653495788574219},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4961110055446625},{"id":"https://openalex.org/C113364801","wikidata":"https://www.wikidata.org/wiki/Q26674","display_name":"High fidelity","level":2,"score":0.4897732734680176},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.13064751029014587},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09797009825706482},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icnp59255.2023.10355598","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp59255.2023.10355598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1680918052","https://openalex.org/W2021234005","https://openalex.org/W2122695394","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/W3101248335","https://openalex.org/W3108015722","https://openalex.org/W4233126987","https://openalex.org/W4248605401","https://openalex.org/W4250834178","https://openalex.org/W4290991530","https://openalex.org/W6627884483","https://openalex.org/W6734470941","https://openalex.org/W6750584877","https://openalex.org/W6769828913","https://openalex.org/W6774849053","https://openalex.org/W6774955457","https://openalex.org/W6776240636"],"related_works":["https://openalex.org/W4313443006","https://openalex.org/W2945374968","https://openalex.org/W4385452045","https://openalex.org/W4293777179","https://openalex.org/W2164070813","https://openalex.org/W2135608140","https://openalex.org/W2895525995","https://openalex.org/W4224231624","https://openalex.org/W2332512904","https://openalex.org/W2319626700"],"abstract_inverted_index":{"Network":[0],"specification,":[1],"which":[2,57],"describes":[3],"what":[4],"an":[5],"existing":[6,36],"network":[7,26,74],"is":[8,21,70,120,150],"designed":[9],"for,":[10],"can":[11,58],"help":[12],"operators":[13],"better":[14,46],"understand":[15],"and":[16,20,28,63,79,107,130,144],"manage":[17],"their":[18],"networks,":[19,43],"a":[22,48,91,139],"critical":[23],"pre-condition":[24],"for":[25],"verification":[27],"synthesis":[29],"tools":[30,37],"to":[31,41,71,76,89,110],"work.":[32],"Mining":[33],"specification":[34],"with":[35,83],"either":[38],"cannot":[39],"scale":[40,45],"large":[42,140],"or":[44],"at":[47],"cost":[49],"of":[50,68,115],"sacrificing":[51],"fidelity.":[52,64,93,133],"This":[53,118],"paper":[54],"presents":[55],"NetMiner,":[56],"simultaneously":[59],"achieve":[60,90],"high":[61,92],"scalability":[62,101],"The":[65],"key":[66],"idea":[67],"NetMiner":[69,98,149],"use":[72],"off-the-shelf":[73],"simulators":[75,129],"compute":[77],"routes,":[78],"then":[80],"check":[81],"properties":[82],"data":[84],"plane":[85],"verifiers,":[86],"so":[87],"as":[88],"At":[94],"the":[95,100,113,124,128,156],"same":[96],"time,":[97],"improves":[99],"by":[102,127],"identifying":[103],"relevant":[104],"failure":[105],"scenarios,":[106],"aggregating":[108],"them":[109],"significantly":[111],"reduce":[112],"number":[114],"needed":[116],"simulations.":[117],"process":[119],"solely":[121],"based":[122],"on":[123],"routes":[125],"returned":[126],"therefore":[131],"preserving":[132],"Experiments":[134],"using":[135],"real":[136],"configurations":[137,146],"from":[138],"cloud":[141],"service":[142],"provider":[143],"synthetic":[145],"show":[147],"that":[148],"about":[151],"10":[152],"times":[153],"faster":[154],"than":[155],"state-of-the-art.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}