{"id":"https://openalex.org/W4414170304","doi":"https://doi.org/10.1109/iwqos65803.2025.11143362","title":"REP4: Automated Testing and Repairing Programmable Data Planes","display_name":"REP4: Automated Testing and Repairing Programmable Data Planes","publication_year":2025,"publication_date":"2025-07-02","ids":{"openalex":"https://openalex.org/W4414170304","doi":"https://doi.org/10.1109/iwqos65803.2025.11143362"},"language":"en","primary_location":{"id":"doi:10.1109/iwqos65803.2025.11143362","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5036337382","display_name":"Wen J. Li","orcid":"https://orcid.org/0000-0001-9616-6213"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wen Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083598234","display_name":"Fuliang Li","orcid":"https://orcid.org/0000-0001-9782-0053"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuliang Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101666901","display_name":"Chunyuan Liu","orcid":"https://orcid.org/0000-0002-8965-5470"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunyuan Liu","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100326915","display_name":"Xingwei Wang","orcid":"https://orcid.org/0000-0003-2856-4716"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingwei Wang","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University,Shenyang,China,110819","institution_ids":["https://openalex.org/I9224756"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9224756"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26410621,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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.9991000294685364,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.6754999756813049},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.6376000046730042},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5282999873161316},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5152000188827515},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.49639999866485596},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4828999936580658},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.4361000061035156},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.4106999933719635},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.36469998955726624}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7583000063896179},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6754999756813049},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.6376000046730042},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5282999873161316},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5152000188827515},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.49639999866485596},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4828999936580658},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.4361000061035156},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.4106999933719635},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.39910000562667847},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.36469998955726624},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36230000853538513},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.36169999837875366},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35359999537467957},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33629998564720154},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.31290000677108765},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.31150001287460327},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3100999891757965},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28790000081062317},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2838999927043915},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C141842801","wikidata":"https://www.wikidata.org/wiki/Q363815","display_name":"Automatic test equipment","level":3,"score":0.27300000190734863},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.26759999990463257},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.26339998841285706},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwqos65803.2025.11143362","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G218614023","display_name":null,"funder_award_id":"XLYC2403086","funder_id":"https://openalex.org/F4320329895","funder_display_name":"Liaoning Revitalization Talents Program"},{"id":"https://openalex.org/G2805843282","display_name":null,"funder_award_id":"U22B2005,62032013,92267206","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"},{"id":"https://openalex.org/F4320329895","display_name":"Liaoning Revitalization Talents Program","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1560374668","https://openalex.org/W1989657183","https://openalex.org/W1994926493","https://openalex.org/W2101512909","https://openalex.org/W2101819268","https://openalex.org/W2138788987","https://openalex.org/W2792493146","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2898887472","https://openalex.org/W2902440776","https://openalex.org/W2964130484","https://openalex.org/W2990692206","https://openalex.org/W3032442097","https://openalex.org/W3046814036","https://openalex.org/W3115879707","https://openalex.org/W3141077842","https://openalex.org/W3152942743","https://openalex.org/W3156949712","https://openalex.org/W3165666748","https://openalex.org/W3192763327","https://openalex.org/W3212102899","https://openalex.org/W4288727335","https://openalex.org/W4290991168","https://openalex.org/W4290991207","https://openalex.org/W4323896452","https://openalex.org/W4385682849","https://openalex.org/W4386260561","https://openalex.org/W4386365395","https://openalex.org/W4402619746"],"related_works":[],"abstract_inverted_index":{"While":[0],"the":[1,77,101,133,154],"P4-based":[2],"programmable":[3,58],"data":[4,59,69],"plane":[5,70],"supports":[6],"flexible":[7],"configuration":[8],"regardless":[9],"of":[10,132,148],"specific":[11],"hardware":[12,18],"or":[13],"protocols,":[14],"potential":[15],"software":[16],"and":[17,30,37,54,72,88,107,119,144,159,163],"failures":[19],"threaten":[20],"its":[21],"performance.":[22],"However,":[23],"existing":[24,137],"tools":[25],"fail":[26],"to":[27,66],"efficiently":[28],"test":[29,134],"automatically":[31,51,92,160],"repair":[32,106],"faults,":[33],"relying":[34],"on":[35,116,122],"time-consuming":[36],"error-prone":[38],"manual":[39],"manipulation.":[40],"To":[41],"address":[42],"these":[43],"challenges,":[44],"we":[45],"propose":[46],"REP4,":[47],"a":[48],"system":[49],"that":[50,127],"detects,":[52],"localizes,":[53],"repairs":[55],"bugs":[56],"in":[57,76,151,153,166],"planes.":[60],"First,":[61],"it":[62],"specifies":[63],"high-level":[64],"intents":[65],"express":[67],"comprehensive":[68],"functions":[71],"eliminate":[73],"invalid":[74],"paths":[75],"control":[78],"flow":[79],"graph,":[80],"thereby":[81],"accelerating":[82],"testing.":[83,174],"Second,":[84],"faulty":[85],"P4":[86],"code":[87],"table":[89,164],"rules":[90,165],"are":[91],"located":[93],"by":[94],"employing":[95],"taint":[96],"tracking.":[97],"Finally,":[98],"REP4":[99,115,128],"updates":[100,170],"erroneous":[102],"fragments":[103],"through":[104],"constraint-based":[105],"performs":[108],"regression":[109,173],"testing":[110],"for":[111],"validation.":[112],"We":[113],"deploy":[114],"real":[117],"switches,":[118],"extensive":[120],"experiments":[121],"open-source":[123],"P4_16":[124],"programs":[125],"show":[126],"saves":[129],"nearly":[130],"half":[131],"packets":[135],"than":[136],"approaches":[138],"with":[139,168],"100":[140],"%":[141],"function":[142],"coverage":[143],"localizes":[145],"different":[146],"types":[147],"root":[149],"causes":[150],"55s":[152],"switch.p4":[155],"without":[156],"false":[157],"positives,":[158],"updates$\\mathbf{P":[161],"4}$code":[162],"1.5s,":[167],"all":[169],"successfully":[171],"passing":[172]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}