{"id":"https://openalex.org/W7125939115","doi":"https://doi.org/10.1109/ase63991.2025.00173","title":"Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration","display_name":"Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration","publication_year":2025,"publication_date":"2025-11-16","ids":{"openalex":"https://openalex.org/W7125939115","doi":"https://doi.org/10.1109/ase63991.2025.00173"},"language":null,"primary_location":{"id":"doi:10.1109/ase63991.2025.00173","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","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/A5124112632","display_name":"Dingzhao Xue","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dingzhao Xue","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019003619","display_name":"Yibo Qu","orcid":"https://orcid.org/0000-0001-7200-4228"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yibo Qu","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123124069","display_name":"Bowen Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bowen Jiang","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124083800","display_name":"Xin Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024271967","display_name":"Shuaizong Si","orcid":"https://orcid.org/0000-0001-8805-1221"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuaizong Si","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053953111","display_name":"Shichao Lv","orcid":"https://orcid.org/0000-0002-0650-3843"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shichao Lv","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122996719","display_name":"Zhiqiang Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiang Shi","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5124124016","display_name":"Limin Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Limin Sun","raw_affiliation_strings":["Institute of Information Engineering of CAS,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering of CAS,Beijing,China","institution_ids":["https://openalex.org/I4210156404"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210156404"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64835465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2083","last_page":"2095"},"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.3637999892234802,"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.3637999892234802,"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.3165000081062317,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.09679999947547913,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/protocol","display_name":"Protocol (science)","score":0.713699996471405},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.5076000094413757},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4869999885559082},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4620000123977661},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.43540000915527344},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.424699991941452},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4196000099182129},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3856000006198883},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.3767000138759613}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7896000146865845},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.713699996471405},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.5076000094413757},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4869999885559082},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4620000123977661},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45579999685287476},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.43540000915527344},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.424699991941452},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4196000099182129},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3856000006198883},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3767000138759613},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.374099999666214},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C190812933","wikidata":"https://www.wikidata.org/wiki/Q28923","display_name":"Chart","level":2,"score":0.34220001101493835},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.3393999934196472},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.33160001039505005},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.32580000162124634},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.31119999289512634},{"id":"https://openalex.org/C133112747","wikidata":"https://www.wikidata.org/wiki/Q7251931","display_name":"Protocol analysis","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C170858558","wikidata":"https://www.wikidata.org/wiki/Q1394144","display_name":"Automatic summarization","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.2865000069141388},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2712000012397766},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.26089999079704285},{"id":"https://openalex.org/C2777466982","wikidata":"https://www.wikidata.org/wiki/Q5227287","display_name":"Data extraction","level":3,"score":0.26080000400543213},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.25679999589920044},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2565000057220459}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase63991.2025.00173","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/1","display_name":"No poverty","score":0.517156183719635}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1812582761","https://openalex.org/W2140839850","https://openalex.org/W2156453323","https://openalex.org/W2241428156","https://openalex.org/W2295974667","https://openalex.org/W2513147652","https://openalex.org/W2989119476","https://openalex.org/W3138456218","https://openalex.org/W3217122106","https://openalex.org/W4200251832","https://openalex.org/W4226163120","https://openalex.org/W4309226849","https://openalex.org/W4324007064","https://openalex.org/W4386645116","https://openalex.org/W4388857869","https://openalex.org/W4391724785","https://openalex.org/W4391725314","https://openalex.org/W4402665833","https://openalex.org/W4403294778","https://openalex.org/W4405183127","https://openalex.org/W4405602529","https://openalex.org/W4411552177"],"related_works":[],"abstract_inverted_index":{"Protocol":[0],"reverse":[1],"engineering":[2],"(PRE)":[3],"aims":[4],"to":[5,39,48,102,117,128,137],"infer":[6],"the":[7,29,51,59,134,211],"protocol":[8,61,80,119,135,140,180],"formats":[9],"of":[10,33,157,170,213],"unknown":[11],"protocols.":[12],"Existing":[13],"techniques,":[14],"whether":[15],"Network-Trace":[16],"based":[17,20],"or":[18],"Execution-Trace":[19],"methods,":[21,207],"face":[22],"two":[23],"main":[24],"limitations:":[25],"a":[26,46,200],"reliance":[27],"on":[28,79,178],"quality":[30],"and":[31,42,45,121],"scale":[32],"traffic":[34,205],"datasets,":[35],"which":[36,208],"often":[37],"leads":[38],"low":[40],"accuracy":[41],"poor":[43],"generalization;":[44],"failure":[47],"adequately":[49],"consider":[50],"multi-format":[52,77,189],"characteristic":[53],"prevalent":[54],"in":[55,155,188,193],"real-world":[56],"protocols":[57],"(i.e.,":[58],"same":[60],"may":[62],"support":[63],"multiple":[64],"different":[65,114],"formats).To":[66],"address":[67],"these":[68],"challenges,":[69],"we":[70,147],"propose":[71],"ProbePRE\u2014a":[72],"PRE":[73,153],"tool":[74],"that":[75,132,164,183],"performs":[76],"extraction":[78,110,190],"handlers":[81,181],"by":[82],"autonomously":[83],"generating":[84],"packets.":[85],"ProbePRE":[86,149,165,184,198],"employs":[87],"three":[88],"key":[89],"techniques:":[90],"(1)":[91],"an":[92,123,167],"execution":[93,106],"tracing":[94],"strategy":[95],"enhanced":[96],"with":[97,150],"implicit":[98],"data":[99],"flow":[100],"analysis":[101],"obtain":[103],"more":[104],"detailed":[105],"information;":[107],"(2)":[108],"constraint":[109,125],"methods":[111],"tailored":[112],"for":[113],"program":[115],"structures":[116],"pass":[118],"validation;":[120],"(3)":[122],"innovative":[124],"combination":[126],"algorithm":[127],"construct":[129],"effective":[130],"packets":[131],"guide":[133],"handler":[136],"execute":[138],"diverse":[139],"parsing":[141],"paths.":[142],"In":[143],"our":[144],"experimental":[145],"evaluation,":[146],"compared":[148],"4":[151],"state-of-the-art":[152],"tools":[154],"terms":[156],"field":[158],"segmentation":[159],"accuracy.":[160],"The":[161],"results":[162],"demonstrated":[163],"achieved":[166,199],"F1":[168],"score":[169],"0.88,":[171],"significantly":[172],"outperforming":[173],"existing":[174],"methods.":[175],"Furthermore,":[176],"evaluations":[177],"6":[179],"indicated":[182],"attained":[185],"83%":[186],"completeness":[187],"tasks.":[191],"Notably,":[192],"basic":[194],"block":[195],"coverage":[196],"tests,":[197],"67%":[201],"improvement":[202],"over":[203],"traditional":[204],"dataset":[206],"fully":[209],"validates":[210],"effectiveness":[212],"its":[214],"path":[215],"exploration":[216],"capabilities.":[217]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2026-01-29T00:00:00"}