{"id":"https://openalex.org/W7170276968","doi":"https://doi.org/10.1016/j.neucom.2026.134583","title":"RePaCA: Leveraging reasoning large language models for static automated patch correctness assessment","display_name":"RePaCA: Leveraging reasoning large language models for static automated patch correctness assessment","publication_year":2026,"publication_date":"2026-07-24","ids":{"openalex":"https://openalex.org/W7170276968","doi":"https://doi.org/10.1016/j.neucom.2026.134583"},"language":"en","primary_location":{"id":"doi:10.1016/j.neucom.2026.134583","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.neucom.2026.134583","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0925231226019818/pdf","source":{"id":"https://openalex.org/S45693802","display_name":"Neurocomputing","issn_l":"0925-2312","issn":["0925-2312","1872-8286"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neurocomputing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.sciencedirect.com/science/article/pii/S0925231226019818/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143599420","display_name":"Marcos Fuster-Pena","orcid":"https://orcid.org/0009-0009-5750-3075"},"institutions":[{"id":"https://openalex.org/I189268942","display_name":"Universidad de Alcal\u00e1","ror":"https://ror.org/04pmn0e78","country_code":"ES","type":"education","lineage":["https://openalex.org/I189268942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Marcos Fuster-Pena","raw_affiliation_strings":["Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain"],"raw_orcid":"https://orcid.org/0009-0009-5750-3075","affiliations":[{"raw_affiliation_string":"Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain","institution_ids":["https://openalex.org/I189268942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093701215","display_name":"David de-Fitero-Dominguez","orcid":null},"institutions":[{"id":"https://openalex.org/I189268942","display_name":"Universidad de Alcal\u00e1","ror":"https://ror.org/04pmn0e78","country_code":"ES","type":"education","lineage":["https://openalex.org/I189268942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David de-Fitero-Dominguez","raw_affiliation_strings":["Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain"],"raw_orcid":"https://orcid.org/0009-0000-4457-0898","affiliations":[{"raw_affiliation_string":"Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain","institution_ids":["https://openalex.org/I189268942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019212220","display_name":"Antonio Garc\u00eda\u2010Cabot","orcid":"https://orcid.org/0000-0002-0298-3237"},"institutions":[{"id":"https://openalex.org/I189268942","display_name":"Universidad de Alcal\u00e1","ror":"https://ror.org/04pmn0e78","country_code":"ES","type":"education","lineage":["https://openalex.org/I189268942"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Antonio Garcia-Cabot","raw_affiliation_strings":["Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-0298-3237","affiliations":[{"raw_affiliation_string":"Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain","institution_ids":["https://openalex.org/I189268942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002675398","display_name":"Eva Garc\u00eda\u2010L\u00f3pez","orcid":"https://orcid.org/0000-0002-7598-3289"},"institutions":[{"id":"https://openalex.org/I189268942","display_name":"Universidad de Alcal\u00e1","ror":"https://ror.org/04pmn0e78","country_code":"ES","type":"education","lineage":["https://openalex.org/I189268942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eva Garcia-Lopez","raw_affiliation_strings":["Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-7598-3289","affiliations":[{"raw_affiliation_string":"Departamento de Ciencias de la Computaci\u00f3n, Universidad de Alcal\u00e1, Alcal\u00e1 de Henares, Madrid, Spain","institution_ids":["https://openalex.org/I189268942"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5019212220"],"corresponding_institution_ids":["https://openalex.org/I189268942"],"apc_list":{"value":2470,"currency":"USD","value_usd":2470},"apc_paid":{"value":2470,"currency":"USD","value_usd":2470},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.83547047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"701","issue":null,"first_page":"134583","last_page":"134583"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.5703999996185303,"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"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.5703999996185303,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.11559999734163284,"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"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.08739999681711197,"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/correctness","display_name":"Correctness","score":0.8205000162124634},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.48399999737739563},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.45210000872612},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.31839999556541443},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.2930000126361847},{"id":"https://openalex.org/keywords/language-understanding","display_name":"Language understanding","score":0.2903999984264374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8348000049591064},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8205000162124634},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5552999973297119},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.524399995803833},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.48399999737739563},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38519999384880066},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36719998717308044},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.31839999556541443},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C2983448237","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Language understanding","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28929999470710754},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.27129998803138733},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.26089999079704285}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.neucom.2026.134583","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.neucom.2026.134583","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0925231226019818/pdf","source":{"id":"https://openalex.org/S45693802","display_name":"Neurocomputing","issn_l":"0925-2312","issn":["0925-2312","1872-8286"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neurocomputing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2507.22580","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2507.22580","pdf_url":"https://arxiv.org/pdf/2507.22580","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/j.neucom.2026.134583","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.neucom.2026.134583","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0925231226019818/pdf","source":{"id":"https://openalex.org/S45693802","display_name":"Neurocomputing","issn_l":"0925-2312","issn":["0925-2312","1872-8286"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neurocomputing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320327216","display_name":"Junta de Comunidades de Castilla-La Mancha","ror":"https://ror.org/02jv91m18"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7170276968.pdf","grobid_xml":"https://content.openalex.org/works/W7170276968.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W2975950293","https://openalex.org/W2981875947","https://openalex.org/W4280528532","https://openalex.org/W4288080276","https://openalex.org/W4390956105","https://openalex.org/W4401093962","https://openalex.org/W4402040396","https://openalex.org/W4413859938"],"related_works":[],"abstract_inverted_index":{"Automated":[0,40],"Program":[1],"Repair":[2],"(APR)":[3],"seeks":[4],"to":[5,18,46,122,198,235],"automatically":[6],"correct":[7,147],"software":[8],"bugs":[9],"without":[10,25],"requiring":[11],"human":[12],"intervention.":[13],"However,":[14],"existing":[15],"tools":[16],"tend":[17],"generate":[19,123],"patches":[20,49],"that":[21,64,99,128,217],"satisfy":[22],"test":[23],"cases":[24],"fixing":[26],"the":[27,71,135,138,156,160,168,207,220,228],"underlying":[28],"bug.":[29],"These":[30,225],"are":[31],"known":[32],"as":[33],"overfitting":[34,48],"patches.":[35],"To":[36,87,150],"address":[37,88],"this":[38],"issue,":[39],"Patch":[41],"Correctness":[42],"Assessment":[43],"(APCA)":[44],"attempts":[45],"identify":[47],"generated":[50],"by":[51,239],"APR":[52],"tools.":[53],"This":[54,210],"problem":[55],"can":[56,218],"be":[57],"solved":[58],"using":[59,164],"a":[60,94,124,144,177],"static":[61,78,96,237],"approach,":[62],"meaning":[63],"no":[65],"additional":[66],"information":[67],"is":[68,111,162],"needed":[69],"beyond":[70],"original":[72],"and":[73,85,116,120,141,189,242],"fixed":[74,117],"code":[75,118,130],"snippets.":[76],"Current":[77],"techniques":[79],"often":[80],"struggle":[81],"with":[82,113,167,186],"reliability,":[83],"flexibility":[84],"transparency.":[86,243],"these":[89,152],"issues,":[90],"we":[91],"introduce":[92],"RePaCA,":[93],"reasoning-based":[95],"APCA":[97,157,238],"technique":[98],"leverages":[100],"Large":[101],"Language":[102],"Models":[103],"(LLMs)":[104],"specialized":[105],"in":[106],"thinking":[107],"tasks.":[108],"Our":[109],"model":[110,195],"prompted":[112],"both":[114],"buggy":[115],"snippets":[119],"guided":[121],"Chain":[125],"of":[126,222,231],"Thought":[127],"analyzes":[129],"differences,":[131],"reasons":[132],"about":[133],"how":[134],"patch":[136,223],"addresses":[137],"root":[139],"cause,":[140],"ultimately":[142],"provides":[143,214],"binary":[145],"classification:":[146],"or":[148],"overfitting.":[149],"enhance":[151],"reasoning":[153,211,233],"capabilities":[154],"for":[155],"task":[158],"specifically,":[159],"LLM":[161],"fine-tuned":[163],"Reinforcement":[165],"Learning":[166],"Group":[169],"Relative":[170],"Policy":[171],"Optimization":[172],"algorithm.":[173],"When":[174],"evaluated":[175],"on":[176,203],"standard":[178],"Defects4J-derived":[179],"test,":[180],"our":[181,194],"approach":[182],"achieves":[183],"state-of-the-art":[184],"performance,":[185],"83.1%":[187],"accuracy":[188,241],"an":[190],"84.8%":[191],"F1-score.":[192],"Furthermore,":[193],"demonstrates":[196],"robustness":[197],"domain":[199],"shift":[200],"when":[201],"trained":[202],"different":[204],"datasets,":[205],"outperforming":[206],"leading":[208],"technique.":[209],"capability":[212],"also":[213],"explicit":[215],"rationales":[216],"support":[219],"inspection":[221],"assessments.":[224],"findings":[226],"underscore":[227],"considerable":[229],"promise":[230],"fine-tuned,":[232],"LLMs":[234],"advance":[236],"enhancing":[240]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2026-07-25T00:00:00"}