{"id":"https://openalex.org/W4411523184","doi":"https://doi.org/10.1145/3728955","title":"Validating Network Protocol Parsers with Traceable RFC Document Interpretation","display_name":"Validating Network Protocol Parsers with Traceable RFC Document Interpretation","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523184","doi":"https://doi.org/10.1145/3728955"},"language":"en","primary_location":{"id":"doi:10.1145/3728955","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728955","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3728955","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091087753","display_name":"Mingwei Zheng","orcid":"https://orcid.org/0009-0003-6032-6045"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mingwei Zheng","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0009-0003-6032-6045","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077814320","display_name":"Danning Xie","orcid":"https://orcid.org/0000-0002-4359-4625"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Danning Xie","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0002-4359-4625","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingkai Shi","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-8297-8998","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101917946","display_name":"Chengpeng Wang","orcid":"https://orcid.org/0000-0003-0617-5322"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengpeng Wang","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0003-0617-5322","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107249133","display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0002-9544-2500"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0002-9544-2500","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5091087753"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":8.5034,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.97424458,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"2","issue":"ISSTA","first_page":"1772","last_page":"1794"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"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/computer-science","display_name":"Computer science","score":0.8739808797836304},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7340806126594543},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6650127172470093},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.6166768670082092},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5865899324417114},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5828924179077148},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5063432455062866},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.41105201840400696},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4087904095649719}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8739808797836304},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7340806126594543},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6650127172470093},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.6166768670082092},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5865899324417114},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5828924179077148},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5063432455062866},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.41105201840400696},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4087904095649719},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3728955","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728955","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2504.18050","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.18050","pdf_url":"https://arxiv.org/pdf/2504.18050","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"}],"best_oa_location":{"id":"doi:10.1145/3728955","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728955","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4168209923","display_name":null,"funder_award_id":"VSPELLS - HR001120S0058","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1965927058","https://openalex.org/W2042033151","https://openalex.org/W2650293344","https://openalex.org/W2799226481","https://openalex.org/W3111490787","https://openalex.org/W3194857165","https://openalex.org/W4206716941","https://openalex.org/W4243167850","https://openalex.org/W4281683690","https://openalex.org/W4282573128","https://openalex.org/W4318541562","https://openalex.org/W4366999442","https://openalex.org/W4378591002","https://openalex.org/W4378942602","https://openalex.org/W4379919543","https://openalex.org/W4384304728","https://openalex.org/W4384345698","https://openalex.org/W4384345748","https://openalex.org/W4385947658","https://openalex.org/W4388857869","https://openalex.org/W4391724785","https://openalex.org/W4394769544","https://openalex.org/W4396214304","https://openalex.org/W4396214504","https://openalex.org/W4396242417","https://openalex.org/W4399836663","https://openalex.org/W4400581950","https://openalex.org/W4400582872","https://openalex.org/W4400939349","https://openalex.org/W4402264433","https://openalex.org/W4402442868","https://openalex.org/W4402502392","https://openalex.org/W4403223258","https://openalex.org/W4403536959","https://openalex.org/W4404782022","https://openalex.org/W4406493303","https://openalex.org/W4406807430","https://openalex.org/W4406892594","https://openalex.org/W4407012199"],"related_works":["https://openalex.org/W2378709054","https://openalex.org/W4380301954","https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2803090313","https://openalex.org/W2404647514","https://openalex.org/W1482465488","https://openalex.org/W4247536566","https://openalex.org/W2052375654","https://openalex.org/W2772436979"],"abstract_inverted_index":{"Validating":[0],"the":[1,12,30,48,119,133,140,143,148,163,167,196,210,230],"correctness":[2],"of":[3,121],"network":[4,87,178],"protocol":[5,22,49,106,130,156],"implementations":[6,182],"is":[7,85,145],"highly":[8],"challenging":[9],"due":[10,117,228],"to":[11,42,104,118,128,162,229,232],"oracle":[13,144],"and":[14,69,180,187,198,236],"traceability":[15,168],"problems.":[16],"The":[17,38,189,206],"former":[18],"determines":[19],"when":[20,29],"a":[21,126,155,222],"implementation":[23,46,157],"can":[24,100,158],"be":[25,101,159],"considered":[26,225],"buggy,":[27],"especially":[28],"bugs":[31,151],"do":[32],"not":[33],"cause":[34],"any":[35,150],"observable":[36],"symptoms.":[37],"latter":[39],"allows":[40],"developers":[41],"understand":[43,233],"how":[44],"an":[45,71],"violates":[47],"specification,":[50],"thereby":[51],"facilitating":[52],"bug":[53],"fixes.":[54],"Unlike":[55],"existing":[56],"works":[57],"that":[58,86,192],"rarely":[59],"take":[60],"both":[61,68],"problems":[62],"into":[63],"account,":[64],"this":[65],"work":[66],"considers":[67],"provides":[70],"effective":[72],"solution":[73],"using":[74,176],"recent":[75],"advances":[76],"in":[77,136,154,184],"large":[78],"language":[79,220],"models":[80],"(LLMs).":[81],"Our":[82],"key":[83],"observation":[84],"protocols":[88,179],"are":[89,123],"often":[90],"released":[91],"with":[92,203],"structured":[93],"specification":[94,234],"documents,":[95,98],"a.k.a.":[96],"RFC":[97],"which":[99,113],"systematically":[102],"translated":[103],"formal":[105],"message":[107],"specifications":[108],"via":[109],"LLMs.":[110],"Such":[111],"specifications,":[112,221],"may":[114],"contain":[115],"errors":[116],"hallucination":[120],"LLMs,":[122],"used":[124],"as":[125],"quasi-oracle":[127],"validate":[129],"parsers,":[131],"while":[132],"validation":[134,216],"results":[135,190],"return":[137],"gradually":[138],"refine":[139],"oracle.":[141],"Since":[142],"derived":[146],"from":[147],"document,":[149,164],"we":[152],"find":[153],"traced":[160],"back":[161],"thus":[165],"addressing":[166],"problem.":[169],"We":[170],"have":[171],"extensively":[172],"evaluated":[173],"our":[174,193],"approach":[175,194],"nine":[177],"their":[181],"written":[183],"C,":[185],"Python,":[186],"Go.":[188],"show":[191],"outperforms":[195],"state-of-the-art":[197],"has":[199],"detected":[200],"69":[201],"bugs,":[202],"36":[204],"confirmed.":[205],"project":[207],"also":[208],"demonstrates":[209],"potential":[211],"for":[212,240],"fully":[213],"automating":[214],"software":[215],"based":[217],"on":[218],"natural":[219],"process":[223],"previously":[224],"predominantly":[226],"manual":[227],"need":[231],"documents":[235],"derive":[237],"expected":[238],"outputs":[239],"test":[241],"inputs.":[242]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}