{"id":"https://openalex.org/W633540468","doi":null,"title":"Diagnose network failures via data-plane analysis","display_name":"Diagnose network failures via data-plane analysis","publication_year":2011,"publication_date":"2011-01-14","ids":{"openalex":"https://openalex.org/W633540468","mag":"633540468"},"language":"en","primary_location":{"id":"pmh:oai:www.ideals.illinois.edu:2142/18419","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2142/18419","pdf_url":"https://www.ideals.illinois.edu/items/18509/bitstreams/66623/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.ideals.illinois.edu/items/18509/bitstreams/66623/data.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025225026","display_name":"Haohui Mai","orcid":"https://orcid.org/0009-0003-9584-8329","observed_orcids":["https://orcid.org/0009-0003-9584-8329"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Haohui Mai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5025225026"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.45509999990463257,"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":0.45509999990463257,"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.2632000148296356,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.07460000365972519,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/network-fault-diagnosis","display_name":"network fault diagnosis","score":0.9020000100135803},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8619999885559082},{"id":"https://openalex.org/keywords/network-invariants","display_name":"network invariants","score":0.8700000047683716},{"id":"https://openalex.org/keywords/anteaters","display_name":"anteaters","score":0.8450000286102295},{"id":"https://openalex.org/keywords/boolean-satisfiability","display_name":"Boolean satisfiability","score":0.8539999723434448},{"id":"https://openalex.org/keywords/sat-solving","display_name":"SAT solving","score":0.6620000004768372},{"id":"https://openalex.org/keywords/counterexample-generation","display_name":"counterexample generation","score":0.7950000166893005},{"id":"https://openalex.org/keywords/forwarding-loops","display_name":"forwarding loops","score":0.9679999947547913},{"id":"https://openalex.org/keywords/campus-network","display_name":"campus network","score":0.6679999828338623}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.574134349822998}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:www.ideals.illinois.edu:2142/18419","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2142/18419","pdf_url":"https://www.ideals.illinois.edu/items/18509/bitstreams/66623/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"mag:633540468","doi":null,"is_oa":false,"landing_page_url":"https://www.ideals.illinois.edu/handle/2142/18419","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:www.ideals.illinois.edu:2142/18419","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2142/18419","pdf_url":"https://www.ideals.illinois.edu/items/18509/bitstreams/66623/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W633540468.pdf","grobid_xml":"https://content.openalex.org/works/W633540468.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W92576581","https://openalex.org/W168478060","https://openalex.org/W1511806592","https://openalex.org/W1513300473","https://openalex.org/W1598241463","https://openalex.org/W1625214948","https://openalex.org/W1787074469","https://openalex.org/W1967656199","https://openalex.org/W1986240373","https://openalex.org/W2010365467","https://openalex.org/W2073904762","https://openalex.org/W2086058820","https://openalex.org/W2096186938","https://openalex.org/W2117020308","https://openalex.org/W2117654928","https://openalex.org/W2119480013","https://openalex.org/W2120255160","https://openalex.org/W2120664731","https://openalex.org/W2122338677","https://openalex.org/W2124377830","https://openalex.org/W2134890934","https://openalex.org/W2137723287","https://openalex.org/W2139011972","https://openalex.org/W2140069682","https://openalex.org/W2140073547","https://openalex.org/W2147118406","https://openalex.org/W2153185479","https://openalex.org/W2161510787","https://openalex.org/W2165503871","https://openalex.org/W2170180420","https://openalex.org/W2177058407","https://openalex.org/W2186696508","https://openalex.org/W2238438598"],"related_works":["https://openalex.org/W4254605472","https://openalex.org/W7100912592","https://openalex.org/W2409469766","https://openalex.org/W1249296113","https://openalex.org/W2768133406","https://openalex.org/W2785458236","https://openalex.org/W3150918613","https://openalex.org/W7039607014","https://openalex.org/W2301255957","https://openalex.org/W2969345971"],"abstract_inverted_index":{"Diagnosing":[0],"problems":[1,60],"in":[2,26,32,102],"networks":[3],"is":[4,24,36],"a":[5,87,97,121,134],"time-consuming":[6],"and":[7,35,49,82,92,124,145],"error-prone":[8],"process.":[9],"Previous":[10],"tools":[11],"to":[12,38,133],"assist":[13],"operators":[14],"primarily":[15],"focus":[16],"on":[17],"analyzing":[18],"control":[19],"plane":[20],"configuration.":[21],"Configuration":[22],"analysis":[23,63,85],"limited":[25],"that":[27,73],"it":[28,43],"cannot":[29],"find":[30],"bugs":[31,72],"router":[33],"software,":[34],"harder":[37],"generalize":[39],"across":[40,89],"protocols":[41,91],"since":[42],"must":[44],"model":[45],"complex":[46],"configuration":[47,80],"languages":[48],"dynamic":[50],"protocol":[51],"behavior.":[52],"This":[53,68],"paper":[54],"studies":[55],"an":[56],"alternate":[57],"approach:":[58],"diagnosing":[59],"through":[61],"static":[62],"of":[64,79,86,155],"the":[65,77,103],"data":[66,104],"plane.":[67,105],"approach":[69],"can":[70],"catch":[71],"are":[74,158],"invisible":[75],"at":[76],"level":[78],"files,":[81],"simplifies":[83],"unified":[84],"network":[88,109,118,163],"many":[90],"implementations.":[93],"We":[94],"present":[95],"Anteater,":[96],"tool":[98],"for":[99],"checking":[100],"invariants":[101,110],"Anteater":[106,138],"translates":[107],"high-level":[108],"into":[111],"boolean":[112],"satisfiability":[113],"problems,":[114],"checks":[115],"them":[116],"against":[117],"state":[119],"using":[120],"SAT":[122],"solver,":[123],"reports":[125],"counterexamples":[126],"if":[127],"violations":[128],"have":[129],"been":[130],"found.":[131],"Applied":[132],"large":[135],"campus":[136,162],"network,":[137],"revealed":[139],"23":[140],"bugs,":[141],"including":[142],"forwarding":[143],"loops":[144],"stale":[146],"ACL":[147],"rules,":[148],"with":[149],"only":[150],"five":[151],"false":[152],"positives.":[153],"Nine":[154],"these":[156],"faults":[157],"being":[159],"fixed":[160],"by":[161],"operators.":[164]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}