{"id":"https://openalex.org/W4416178301","doi":"https://doi.org/10.1109/secdev66745.2025.00018","title":"PathFix: Automated Program Repair with Expected Path","display_name":"PathFix: Automated Program Repair with Expected Path","publication_year":2025,"publication_date":"2025-10-14","ids":{"openalex":"https://openalex.org/W4416178301","doi":"https://doi.org/10.1109/secdev66745.2025.00018"},"language":null,"primary_location":{"id":"doi:10.1109/secdev66745.2025.00018","is_oa":false,"landing_page_url":"https://doi.org/10.1109/secdev66745.2025.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Secure Development Conference (SecDev)","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/A5042538437","display_name":"Xu He","orcid":"https://orcid.org/0000-0001-6909-9334"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xu He","raw_affiliation_strings":["George Mason University,Fairfax,VA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"George Mason University,Fairfax,VA,USA","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070346269","display_name":"Shu Wang","orcid":"https://orcid.org/0000-0002-7920-7025"},"institutions":[{"id":"https://openalex.org/I4210108451","display_name":"Palo Alto Networks (United States)","ror":"https://ror.org/01rn6rn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210108451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shu Wang","raw_affiliation_strings":["Palo Alto Networks Inc,Santa Clara,CA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Palo Alto Networks Inc,Santa Clara,CA,USA","institution_ids":["https://openalex.org/I4210108451"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026728546","display_name":"Kun Sun","orcid":"https://orcid.org/0000-0003-4152-2107"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kun Sun","raw_affiliation_strings":["George Mason University,Fairfax,VA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"George Mason University,Fairfax,VA,USA","institution_ids":["https://openalex.org/I162714631"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39023234,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"81"},"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.9419999718666077,"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.9419999718666077,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.01640000008046627,"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.010400000028312206,"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/correctness","display_name":"Correctness","score":0.7998999953269958},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6787999868392944},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6567000150680542},{"id":"https://openalex.org/keywords/overfitting","display_name":"Overfitting","score":0.6227999925613403},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6168000102043152},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4767000079154968},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4388999938964844},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.41589999198913574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8004999756813049},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7998999953269958},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6787999868392944},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6567000150680542},{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.6227999925613403},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6168000102043152},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4767000079154968},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4388999938964844},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.41589999198913574},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.3840999901294708},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3573000133037567},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.337799996137619},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3334999978542328},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.3077999949455261},{"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/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.2802000045776367},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.2773999869823456},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.2694999873638153},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.259799987077713},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.2549000084400177},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25380000472068787},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/secdev66745.2025.00018","is_oa":false,"landing_page_url":"https://doi.org/10.1109/secdev66745.2025.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Secure Development Conference (SecDev)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Automated":[0],"program":[1,85,211],"repair":[2,179],"(APR)":[3],"techniques":[4],"are":[5],"effective":[6],"in":[7,11,100,106,119,208],"fixing":[8],"inevitable":[9],"defects":[10],"software,":[12],"enhancing":[13],"development":[14],"efficiency":[15],"and":[16,41,156,181,216],"software":[17],"robustness.":[18],"However,":[19],"due":[20],"to":[21,44,69,95,149],"the":[22,97,101,116,120,130,135,150,164,170,173],"difficulty":[23],"of":[24,172],"generating":[25,35],"precise":[26],"specifications,":[27],"existing":[28,205],"APR":[29,56],"methods":[30],"face":[31],"two":[32],"main":[33,108],"challenges:":[34],"too":[36],"many":[37],"plausible":[38],"patch":[39,147],"candidates":[40],"overfitting":[42],"them":[43],"partial":[45],"test":[46],"cases.":[47],"To":[48,176],"tackle":[49],"these":[50],"challenges,":[51],"we":[52,168,189],"introduce":[53],"a":[54,83,145,191],"new":[55],"method":[57],"named":[58],"PathFix,":[59],"which":[60],"leverages":[61],"path-sensitive":[62,187],"constraints":[63,162],"extracted":[64],"from":[65],"correct":[66,132,151],"execution":[67],"paths":[68,114,127],"generate":[70],"patches":[71,158],"for":[72],"repairing":[73],"buggy":[74,84,121],"code.":[75],"It":[76],"is":[77,86,93],"based":[78],"on":[79,134],"one":[80,90],"observation:":[81],"if":[82],"repairable,":[87],"at":[88],"least":[89],"expected":[91,126,141,165],"path":[92,99,142],"supposed":[94],"replace":[96],"fault":[98,113,117],"patched":[102],"program.":[103,122],"PathFix":[104,154,203],"operates":[105],"four":[107],"steps.":[109],"First,":[110],"it":[111,124],"traces":[112],"reaching":[115],"output":[118,133],"Second,":[123],"derives":[125],"by":[128,159,186],"analyzing":[129],"desired":[131],"control":[136],"flow":[137],"graph,":[138],"where":[139],"an":[140],"defines":[143],"how":[144],"feasible":[146],"leads":[148],"execution.":[152],"Third,":[153],"generates":[155],"evaluates":[157],"solving":[160],"state":[161],"along":[163],"path.":[166],"Fourth,":[167],"validate":[169],"correctness":[171],"generated":[174],"patch.":[175],"further":[177],"enhance":[178],"performance":[180],"mitigate":[182],"scalability":[183],"issues":[184],"introduced":[185],"analysis,":[188],"integrate":[190],"large":[192],"language":[193],"model":[194],"(LLM)":[195],"into":[196],"our":[197],"framework.":[198],"Experimental":[199],"results":[200],"show":[201],"that":[202],"outperforms":[204],"solutions,":[206],"particularly":[207],"handling":[209],"complex":[210],"structures":[212],"such":[213],"as":[214],"loops":[215],"recursion.":[217]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-13T00:00:00"}