{"id":"https://openalex.org/W4410028485","doi":"https://doi.org/10.1145/3733717","title":"Learning-Guided Fuzzing for Testing Stateful SDN Controllers","display_name":"Learning-Guided Fuzzing for Testing Stateful SDN Controllers","publication_year":2025,"publication_date":"2025-05-02","ids":{"openalex":"https://openalex.org/W4410028485","doi":"https://doi.org/10.1145/3733717"},"language":"en","primary_location":{"id":"doi:10.1145/3733717","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3733717","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/handle/10993/64865","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084977070","display_name":"Rapha\u00ebl Ollando","orcid":"https://orcid.org/0000-0001-8219-0466"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Rapha\u00ebl Ollando","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg, Luxembourg","University of Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0001-8219-0466","affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088550214","display_name":"Seung Yeob Shin","orcid":"https://orcid.org/0000-0001-9025-7173"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Seung Yeob Shin","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg, Luxembourg","University of Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0001-9025-7173","affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["CA","IE"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["Lero SFI Centre for Software Research, University of Limerick, Limerick, Ireland and University of Ottawa, Ottawa, Ontario, Canada","Lero SFI Centre for Software Research, University of Limerick, Ireland and University of Ottawa, Canada"],"raw_orcid":"https://orcid.org/0000-0002-1393-1010","affiliations":[{"raw_affiliation_string":"Lero SFI Centre for Software Research, University of Limerick, Limerick, Ireland and University of Ottawa, Ottawa, Ontario, Canada","institution_ids":["https://openalex.org/I230495080"]},{"raw_affiliation_string":"Lero SFI Centre for Software Research, University of Limerick, Ireland and University of Ottawa, Canada","institution_ids":["https://openalex.org/I230495080","https://openalex.org/I153718931"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084977070"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09376588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"2","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9984999895095825,"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.9980999827384949,"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/fuzz-testing","display_name":"Fuzz testing","score":0.975788950920105},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.9047802686691284},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8322881460189819},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.23635253310203552},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1543414294719696},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15077021718025208}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.975788950920105},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.9047802686691284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8322881460189819},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.23635253310203552},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1543414294719696},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15077021718025208},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3733717","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3733717","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/64865","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/64865","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology (2025-05-02)","raw_type":"peer reviewed"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/64865","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/64865","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology (2025-05-02)","raw_type":"peer reviewed"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W806409524","https://openalex.org/W1504694836","https://openalex.org/W1506010655","https://openalex.org/W1506512744","https://openalex.org/W1583837637","https://openalex.org/W1590810061","https://openalex.org/W1595498733","https://openalex.org/W1995875735","https://openalex.org/W2005097301","https://openalex.org/W2026252407","https://openalex.org/W2069841875","https://openalex.org/W2126105956","https://openalex.org/W2127955369","https://openalex.org/W2128859735","https://openalex.org/W2131058166","https://openalex.org/W2136451165","https://openalex.org/W2157545685","https://openalex.org/W2180200426","https://openalex.org/W2295278941","https://openalex.org/W2296296438","https://openalex.org/W2320204756","https://openalex.org/W2472958328","https://openalex.org/W2696026817","https://openalex.org/W2790007386","https://openalex.org/W2793491406","https://openalex.org/W2798336324","https://openalex.org/W2803426915","https://openalex.org/W2807405309","https://openalex.org/W2832131618","https://openalex.org/W2913264117","https://openalex.org/W2913549651","https://openalex.org/W2913890666","https://openalex.org/W2914260448","https://openalex.org/W2938753454","https://openalex.org/W2967191362","https://openalex.org/W2979357014","https://openalex.org/W2991458367","https://openalex.org/W3012454270","https://openalex.org/W3016717485","https://openalex.org/W3031958474","https://openalex.org/W3039812961","https://openalex.org/W3103243695","https://openalex.org/W3123086775","https://openalex.org/W3168361240","https://openalex.org/W3180119292","https://openalex.org/W3207926955","https://openalex.org/W4205118271","https://openalex.org/W4206139196","https://openalex.org/W4230634801","https://openalex.org/W4246565613","https://openalex.org/W4284962442","https://openalex.org/W4306406240","https://openalex.org/W4308643994","https://openalex.org/W4315746341","https://openalex.org/W4321383526","https://openalex.org/W4362466275","https://openalex.org/W4386191524","https://openalex.org/W4391136370","https://openalex.org/W4398151320","https://openalex.org/W6846157809","https://openalex.org/W6902420974"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2129975948","https://openalex.org/W2591875911","https://openalex.org/W2736754676","https://openalex.org/W4287833485","https://openalex.org/W4401906987","https://openalex.org/W4401907763","https://openalex.org/W4404407863","https://openalex.org/W4387191767"],"abstract_inverted_index":{"Controllers":[0],"for":[1,92,151],"software-defined":[2],"networks":[3],"(SDNs)":[4],"are":[5,37],"centralised":[6],"software":[7],"components":[8],"that":[9,131,171],"enable":[10],"advanced":[11],"network":[12,20,42,80],"functionalities,":[13],"such":[14],"as":[15],"dynamic":[16],"traffic":[17],"engineering":[18],"and":[19,79,115,125,180],"virtualisation.":[21],"However,":[22],"these":[23],"functionalities":[24],"increase":[25],"the":[26,60,77,103,107,133,160,176,189],"complexity":[27],"of":[28,46,64,73,106,147,196],"SDN":[29,35,54,95,108],"controllers,":[30],"making":[31],"thorough":[32],"testing":[33,93],"crucial.":[34],"controllers":[36],"stateful,":[38],"interacting":[39],"with":[40,144],"multiple":[41],"devices":[43],"through":[44],"sequences":[45,63,135,170],"control":[47,65,119],"messages.":[48],"Identifying":[49],"stateful":[50,74,94],"failures":[51,124,174],"in":[52,69,194],"an":[53,70],"controller":[55,78,109],"is":[56],"challenging":[57],"due":[58],"to":[59,99,122,137,159,173],"infinite":[61],"possible":[62],"messages,":[66],"which":[67],"result":[68],"unbounded":[71],"number":[72],"interactions":[75],"between":[76],"devices.":[81],"In":[82,139],"this":[83],"article,":[84],"we":[85,141],"propose":[86],"SeqFuzzSDN,":[87],"a":[88],"learning-guided":[89],"fuzzing":[90,152],"method":[91],"controllers.":[96],"SeqFuzzSDN":[97,143,164],"aims":[98],"(1)":[100,165],"efficiently":[101],"explore":[102],"state":[104],"space":[105],"under":[110],"test,":[111],"(2)":[112,181],"generate":[113],"effective":[114],"diverse":[116,168],"tests":[117],"(i.e.,":[118],"message":[120,134,169],"sequences)":[121],"uncover":[123],"(3)":[126],"infer":[127],"accurate":[128,184],"failure-inducing":[129,185],"models":[130],"characterise":[132],"leading":[136],"failures.":[138],"addition,":[140],"compare":[142],"three":[145],"extensions":[146],"state-of-the-art":[148],"(SOTA)":[149],"methods":[150,193],"SDNs.":[153],"Our":[154],"findings":[155],"show":[156],"that,":[157],"compared":[158],"extended":[161,191],"SOTA":[162,192],"methods,":[163],"generates":[166],"more":[167,183],"lead":[172],"within":[175],"same":[177],"time":[178],"budget":[179],"produces":[182],"models,":[186],"significantly":[187],"outperforming":[188],"other":[190],"terms":[195],"sensitivity.":[197]},"counts_by_year":[],"updated_date":"2026-01-23T23:20:30.427331","created_date":"2025-10-10T00:00:00"}