{"id":"https://openalex.org/W2767010100","doi":"https://doi.org/10.1109/tnsm.2017.2763187","title":"Troubleshooting Data Plane With Rule Verification in Software-Defined Networks","display_name":"Troubleshooting Data Plane With Rule Verification in Software-Defined Networks","publication_year":2017,"publication_date":"2017-10-25","ids":{"openalex":"https://openalex.org/W2767010100","doi":"https://doi.org/10.1109/tnsm.2017.2763187","mag":"2767010100"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2017.2763187","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2763187","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Network and Service Management","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":"https://openalex.org/A5079630836","display_name":"Yusu Zhao","orcid":"https://orcid.org/0000-0003-1233-5281"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yusu Zhao","raw_affiliation_strings":["State Key Laboratory of Advanced Optical Communication Systems and Networks, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Advanced Optical Communication Systems and Networks, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100426109","display_name":"Pengfei Zhang","orcid":"https://orcid.org/0000-0002-7540-5139"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Zhang","raw_affiliation_strings":["State Key Laboratory of Advanced Optical Communication Systems and Networks, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Advanced Optical Communication Systems and Networks, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101883504","display_name":"Yongkun Wang","orcid":"https://orcid.org/0000-0002-2713-4784"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongkun Wang","raw_affiliation_strings":["Network and Information Center, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Network and Information Center, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085787425","display_name":"Yaohui Jin","orcid":"https://orcid.org/0000-0001-6158-6277"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaohui Jin","raw_affiliation_strings":["Network and Information Center, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Network and Information Center, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.4394,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.68863737,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"15","issue":"1","first_page":"232","last_page":"244"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8404980897903442},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.7255586385726929},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.6239792108535767},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5845173597335815},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.5679569840431213},{"id":"https://openalex.org/keywords/networking-hardware","display_name":"Networking hardware","score":0.5663530230522156},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5379891991615295},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.5355080962181091},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.49278524518013},{"id":"https://openalex.org/keywords/network-simulation","display_name":"Network simulation","score":0.4473945200443268},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.4303921163082123},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4187614619731903},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37398678064346313},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3663734197616577},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.22205469012260437},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13664740324020386},{"id":"https://openalex.org/keywords/traffic-engineering","display_name":"Traffic engineering","score":0.11108732223510742}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8404980897903442},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.7255586385726929},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.6239792108535767},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5845173597335815},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.5679569840431213},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.5663530230522156},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5379891991615295},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.5355080962181091},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.49278524518013},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.4473945200443268},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.4303921163082123},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4187614619731903},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37398678064346313},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3663734197616577},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.22205469012260437},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13664740324020386},{"id":"https://openalex.org/C16160715","wikidata":"https://www.wikidata.org/wiki/Q1640676","display_name":"Traffic engineering","level":2,"score":0.11108732223510742},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnsm.2017.2763187","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2763187","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Network and Service Management","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3835844102","display_name":"\u4e91\u8ba1\u7b97\u73af\u5883\u4e2d\u865a\u62df\u7f51\u7edc\u7684\u6027\u80fd\u53ef\u9884\u89c1\u539f\u7406\u7814\u7a76","funder_award_id":"61371084","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1408671314","https://openalex.org/W1697123834","https://openalex.org/W1882012874","https://openalex.org/W1903979221","https://openalex.org/W1979866793","https://openalex.org/W1990249073","https://openalex.org/W2076424788","https://openalex.org/W2105099212","https://openalex.org/W2115526539","https://openalex.org/W2120518995","https://openalex.org/W2122695394","https://openalex.org/W2126830184","https://openalex.org/W2139524463","https://openalex.org/W2146191242","https://openalex.org/W2147118406","https://openalex.org/W2167390870","https://openalex.org/W2170378215","https://openalex.org/W2180601376","https://openalex.org/W2308109111","https://openalex.org/W2472210474","https://openalex.org/W2500758310","https://openalex.org/W2559645321","https://openalex.org/W3102982213","https://openalex.org/W4230300228","https://openalex.org/W4233458882","https://openalex.org/W4253729210","https://openalex.org/W4254605472","https://openalex.org/W6606536520","https://openalex.org/W6628268946","https://openalex.org/W6637389031","https://openalex.org/W6639592347","https://openalex.org/W6698042110"],"related_works":["https://openalex.org/W2130026698","https://openalex.org/W4313036970","https://openalex.org/W3200520605","https://openalex.org/W2978840876","https://openalex.org/W4308650767","https://openalex.org/W3012008094","https://openalex.org/W2487187053","https://openalex.org/W2292300552","https://openalex.org/W2310234012","https://openalex.org/W4377234862"],"abstract_inverted_index":{"Data":[0],"plane":[1,105],"network":[2,12,31,64,81,106,112,117],"issues,":[3],"caused":[4],"by":[5,24],"software":[6],"bugs":[7],"or":[8,77],"hardware":[9],"failures":[10],"inside":[11],"devices,":[13],"usually":[14],"manifest":[15],"themselves":[16],"as":[17,119],"failed":[18],"rules,":[19],"which":[20,41],"can":[21,70,133],"be":[22,71,134],"verified":[23],"the":[25,47,56,59,86,90,147],"comparison":[26,83],"between":[27],"actual":[28],"and":[29,51,153],"desired":[30],"behavior.":[32],"Previous":[33],"efforts":[34],"implement":[35],"this":[36],"leveraging":[37],"end-to-end":[38],"active":[39,68],"probing,":[40],"falls":[42],"short":[43],"on":[44,157],"timely":[45,143],"locating":[46],"exact":[48],"failure":[49],"points":[50],"identifying":[52],"responsible":[53],"rules.":[54,91],"With":[55],"help":[57],"of":[58,88,131,149],"out-band":[60],"channel":[61],"in":[62,141],"software-defined":[63],"(SDN),":[65],"per":[66,75,79,110,138],"hop":[67],"probing":[69],"employed":[72],"to":[73,84,125],"enable":[74],"device":[76,139],"even":[78],"rule":[80,98,111],"behavior":[82,113],"verify":[85],"effectiveness":[87,156],"all":[89],"Therefore,":[92],"we":[93],"present":[94],"SERVE,":[95],"an":[96],"SDN-enabled":[97],"verification":[99],"framework":[100],"that":[101],"automatically":[102],"identifies":[103],"data":[104],"issues":[107],"with":[108,123,161],"periodic":[109],"comparison.":[114],"By":[115],"modeling":[116],"devices":[118],"stateful":[120],"multi-rooted":[121],"trees":[122],"respect":[124],"pipeline":[126],"processing,":[127],"a":[128,137,142,158],"small":[129,159],"number":[130],"probes":[132],"generated":[135],"from":[136],"perspective":[140],"manner.":[144],"We":[145],"evaluate":[146],"performance":[148],"SERVE's":[150,155],"probe":[151],"generation":[152],"validate":[154],"deployment":[160],"typical":[162],"use":[163],"cases.":[164]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}