{"id":"https://openalex.org/W2938753454","doi":"https://doi.org/10.1109/tnsm.2019.2955790","title":"Toward Consistent SDNs: A Case for Network State Fuzzing","display_name":"Toward Consistent SDNs: A Case for Network State Fuzzing","publication_year":2019,"publication_date":"2019-11-26","ids":{"openalex":"https://openalex.org/W2938753454","doi":"https://doi.org/10.1109/tnsm.2019.2955790","mag":"2938753454"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2019.2955790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2019.2955790","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1904.08977","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Apoorv Shukla","orcid":"https://orcid.org/0000-0003-4780-9512"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Apoorv Shukla","raw_affiliation_strings":["TU Berlin, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4780-9512","affiliations":[{"raw_affiliation_string":"TU Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"S. Jawad Saidi","orcid":"https://orcid.org/0000-0002-8846-8905"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"S. Jawad Saidi","raw_affiliation_strings":["TU Berlin, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8846-8905","affiliations":[{"raw_affiliation_string":"TU Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Stefan Schmid","orcid":"https://orcid.org/0000-0002-7798-1711"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7798-1711","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Marco Canini","orcid":"https://orcid.org/0000-0002-5051-4283"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Marco Canini","raw_affiliation_strings":["Faculty of Computer Science, University of Vienna, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-5051-4283","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Zinner","orcid":"https://orcid.org/0000-0002-4179-4105"},"institutions":[{"id":"https://openalex.org/I71920554","display_name":"King Abdullah University of Science and Technology","ror":"https://ror.org/01q3tbs38","country_code":"SA","type":"education","lineage":["https://openalex.org/I71920554"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Thomas Zinner","raw_affiliation_strings":["KAUST, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-4179-4105","affiliations":[{"raw_affiliation_string":"KAUST, Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]}]},{"author_position":"last","author":{"id":null,"display_name":"Anja Feldmann","orcid":null},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anja Feldmann","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","Saarland University, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":1.8061,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.86306448,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"17","issue":"2","first_page":"668","last_page":"681"},"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.9911999702453613,"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.9911999702453613,"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.0012000000569969416,"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/T12127","display_name":"Software System Performance and Reliability","score":0.000699999975040555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9192000031471252},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6906999945640564},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.569100022315979},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4318999946117401},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4138999879360199},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4007999897003174},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.35510000586509705},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.33719998598098755}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9192000031471252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8324999809265137},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6906999945640564},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.569100022315979},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4514999985694885},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4318999946117401},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4138999879360199},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.35510000586509705},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C129763632","wikidata":"https://www.wikidata.org/wiki/Q1454667","display_name":"Network management","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.30070000886917114},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.29089999198913574},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C81877898","wikidata":"https://www.wikidata.org/wiki/Q1965787","display_name":"Network monitoring","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.26269999146461487},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.257099986076355}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tnsm.2019.2955790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2019.2955790","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"},{"id":"pmh:oai:arXiv.org:1904.08977","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.08977","pdf_url":"https://arxiv.org/pdf/1904.08977","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:repository.kaust.edu.sa:10754/660304","is_oa":false,"landing_page_url":"http://hdl.handle.net/10754/660304","pdf_url":null,"source":{"id":"https://openalex.org/S4306401596","display_name":"King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I71920554","host_organization_name":"King Abdullah University of Science and Technology","host_organization_lineage":["https://openalex.org/I71920554"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1904.08977","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.08977","pdf_url":"https://arxiv.org/pdf/1904.08977","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W106863888","https://openalex.org/W1637524539","https://openalex.org/W1903979221","https://openalex.org/W1983529311","https://openalex.org/W1994743806","https://openalex.org/W1994926493","https://openalex.org/W2042033151","https://openalex.org/W2080267935","https://openalex.org/W2090315517","https://openalex.org/W2100242099","https://openalex.org/W2101042113","https://openalex.org/W2115303222","https://openalex.org/W2115526539","https://openalex.org/W2146191242","https://openalex.org/W2153250748","https://openalex.org/W2156660460","https://openalex.org/W2159519391","https://openalex.org/W2162360270","https://openalex.org/W2180601376","https://openalex.org/W2324910104","https://openalex.org/W2460461231","https://openalex.org/W2500758310","https://openalex.org/W2559645321","https://openalex.org/W2768133406","https://openalex.org/W2808291050","https://openalex.org/W2808679319","https://openalex.org/W3004493283","https://openalex.org/W3161951661","https://openalex.org/W3162906515","https://openalex.org/W6606536520","https://openalex.org/W6627884483","https://openalex.org/W6628268946","https://openalex.org/W6628489088","https://openalex.org/W6633188731","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6639592347","https://openalex.org/W6686667945","https://openalex.org/W6688720643","https://openalex.org/W6698042110","https://openalex.org/W6698187285","https://openalex.org/W6732959492","https://openalex.org/W6750782330"],"related_works":[],"abstract_inverted_index":{"The":[0],"conventional":[1],"wisdom":[2],"is":[3,72,142],"that":[4,13,38,143,173],"a":[5,49],"software-defined":[6],"network":[7,86,98,177],"(SDN)":[8],"operates":[9],"under":[10],"the":[11,14,24,63,66,69,120,128,133,137,147,151],"premise":[12],"logically":[15],"centralized":[16],"control":[17,138],"plane":[18,27,183],"has":[19],"an":[20,83],"accurate":[21],"representation":[22],"of":[23,62,68,85,165],"actual":[25,121],"data":[26,129,182],"state.":[28],"Unfortunately,":[29],"bugs,":[30],"misconfigurations,":[31],"faults":[32,184],"or":[33],"attacks":[34],"can":[35],"introduce":[36],"inconsistencies":[37],"undermine":[39],"correct":[40],"operation.":[41],"Previous":[42],"work":[43],"in":[44],"this":[45,54],"area,":[46],"however,":[47],"lacks":[48],"holistic":[50],"methodology":[51],"to":[52,94,101,116,132,179],"tackle":[53],"problem":[55],"and":[56,124,161,168,187],"thus,":[57],"addresses":[58],"only":[59,73],"certain":[60],"parts":[61],"problem.":[64],"Yet,":[65],"consistency":[67,87,103],"overall":[70],"system":[71],"as":[74,76],"good":[75],"its":[77],"least":[78],"consistent":[79],"part.":[80],"Motivated":[81],"by":[82,154],"analogy":[84],"checking":[88],"with":[89,113],"program":[90],"testing,":[91],"we":[92],"propose":[93],"add":[95],"active":[96,114,144],"probe-based":[97],"state":[99],"fuzzing":[100,186],"our":[102,107],"check":[104],"repertoire.":[105],"Hereby,":[106],"system,":[108],"Pazz,":[109],"combines":[110],"production":[111],"traffic":[112,145],"probes":[115],"periodically":[117],"test":[118],"if":[119],"forwarding":[122],"path":[123],"decision":[125],"elements":[126],"(on":[127,136],"plane)":[130],"correspond":[131],"expected":[134],"ones":[135,152],"plane).":[139],"Our":[140,170],"insight":[141],"covers":[146],"inconsistency":[148],"cases":[149],"beyond":[150],"identified":[153],"passive":[155],"traffic.":[156],"Pazz":[157,174],"prototype":[158],"was":[159],"built":[160],"evaluated":[162],"on":[163],"topologies":[164],"varying":[166],"scale":[167],"complexity.":[169],"results":[171],"show":[172],"requires":[175],"minimal":[176],"resources":[178],"detect":[180],"persistent":[181],"through":[185],"localize":[188],"them":[189],"quickly":[190],"while":[191],"outperforming":[192],"baseline":[193],"approaches.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2019-04-25T00:00:00"}