{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T22:33:35Z","timestamp":1786487615060,"version":"3.56.0"},"reference-count":31,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T00:00:00Z","timestamp":1784851200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100011698","name":"Junta de Comunidades de Castilla-La Mancha","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100011698","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Neurocomputing"],"published-print":{"date-parts":[[2026,11]]},"DOI":"10.1016\/j.neucom.2026.134583","type":"journal-article","created":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T15:18:25Z","timestamp":1784906305000},"page":"134583","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["RePaCA: Leveraging reasoning large language models for static automated patch correctness assessment"],"prefix":"10.1016","volume":"701","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5750-3075","authenticated-orcid":false,"given":"Marcos","family":"Fuster-Pena","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4457-0898","authenticated-orcid":false,"given":"David","family":"de-Fitero-Dominguez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0298-3237","authenticated-orcid":false,"given":"Antonio","family":"Garcia-Cabot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7598-3289","authenticated-orcid":false,"given":"Eva","family":"Garcia-Lopez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.neucom.2026.134583_bib1","unstructured":"Q. Zhang, C. Fang, Y. Ma, W. Sun, Z. Chen, 2023, \u201cA survey of learning-based automated program repair,\u201d Nov. 01, 2023, arXiv: arXiv:2301.03270. doi: 10.48550\/arXiv.2301.03270."},{"key":"10.1016\/j.neucom.2026.134583_bib2","series-title":"Proceedings of the 2015 International Symposium on Software Testing and Analysis, in ISSTA 2015","first-page":"24","article-title":"An analysis of patch plausibility and correctness for generate-and-validate patch generation systems","author":"Qi","year":"2015"},{"key":"10.1016\/j.neucom.2026.134583_bib3","series-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, in ASE \u201920","first-page":"968","article-title":"Automated patch correctness assessment: how far are we?","author":"Wang","year":"2021"},{"key":"10.1016\/j.neucom.2026.134583_bib4","series-title":"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, in ESEC\/FSE 2015","first-page":"532","article-title":"Is the cure worse than the disease? overfitting in automated program repair","author":"Smith","year":"2015"},{"key":"10.1016\/j.neucom.2026.134583_bib5","series-title":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, in ISSTA 2017","first-page":"226","article-title":"Identifying test-suite-overfitted patches through test case generation","author":"Xin","year":"2017"},{"key":"10.1016\/j.neucom.2026.134583_bib6","series-title":"Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, in ESEC\/FSE \u201911","first-page":"416","article-title":"EvoSuite: automatic test suite generation for object-oriented software","author":"Fraser","year":"2011"},{"key":"10.1016\/j.neucom.2026.134583_bib7","series-title":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, in OOPSLA \u201907","first-page":"815","article-title":"Randoop: feedback-directed random testing for Java","author":"Pacheco","year":"2007"},{"key":"10.1016\/j.neucom.2026.134583_bib8","series-title":"Proceedings of the 40th International Conference on Software Engineering, in ICSE \u201918","first-page":"789","article-title":"Identifying patch correctness in test-based program repair","author":"Xiong","year":"2018"},{"issue":"3","key":"10.1016\/j.neucom.2026.134583_bib9","doi-asserted-by":"crossref","DOI":"10.1145\/3505247","article-title":"Context-aware code change embedding for better patch correctness assessment","volume":"31","author":"Lin","year":"2022","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.neucom.2026.134583_bib10","unstructured":"Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning,\u201d ResearchGate. Accessed: 2025. [Online]. Available: https:\/\/www.researchgate.net\/publication\/369156342_Invalidator_Automated_Patch_Correctness_Assessment_via_Semantic_and_Syntactic_Reasoning."},{"issue":"3","key":"10.1016\/j.neucom.2026.134583_bib11","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSE.2024.3354969","article-title":"APPT: boosting automated patch correctness prediction via fine-tuning pre-trained models","volume":"50","author":"Zhang","year":"2024","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"10.1016\/j.neucom.2026.134583_bib12","doi-asserted-by":"crossref","first-page":"2920","DOI":"10.1109\/TSE.2021.3071750","article-title":"Automated classification of overfitting patches with statically extracted code features","volume":"48","author":"Ye","year":"2022","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.neucom.2026.134583_bib13","first-page":"1","article-title":"Is this change the answer to that problem? Correlating descriptions of bug and code changes for evaluating patch correctness","author":"Tian","year":"2022","journal-title":"Proc. 37th IEEE\/ACM Int. Conf. Autom. Softw. Eng."},{"issue":"11","key":"10.1016\/j.neucom.2026.134583_bib14","doi-asserted-by":"crossref","first-page":"2865","DOI":"10.1109\/TSE.2024.3452252","article-title":"Leveraging large language model for automatic patch correctness assessment","volume":"50","author":"Zhou","year":"2024","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.neucom.2026.134583_bib15","series-title":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, in ISSTA 2022","first-page":"654","article-title":"Patch correctness assessment in automated program repair based on the impact of patches on production and test code","author":"Ghanbari","year":"2022"},{"key":"10.1016\/j.neucom.2026.134583_bib16","unstructured":"J. Wei, , 2023, \u201cChain-of-thought prompting elicits reasoning in large language models,\u201d Jan. 10, 2023, arXiv: arXiv:2201.11903. doi: 10.48550\/arXiv.2201.11903."},{"key":"10.1016\/j.neucom.2026.134583_bib17","unstructured":"Z. Shao, , 2024, \u201cDeepSeekMath: pushing the limits of mathematical reasoning in open language models,\u201d Apr. 27, 2024, arXiv: arXiv:2402.03300. doi: 10.48550\/arXiv.2402.03300."},{"key":"10.1016\/j.neucom.2026.134583_bib18","unstructured":"DeepSeek-A.I, 2025, \u201cDeepSeek-R1: incentivizing reasoning capability in LLMs via reinforcement learning,\u201d Jan, vol. 22, 2025, doi: 10.48550\/arXiv.2501.12948.."},{"key":"10.1016\/j.neucom.2026.134583_bib19","doi-asserted-by":"crossref","DOI":"10.1016\/j.ijepes.2025.110982","article-title":"Resilient memory sampled-data controller for synchronization of semi-Markovian jump competitive neural networks with mixed delays","volume":"171","author":"Chandrasekar","year":"2025","journal-title":"Int. J. Electr. Power Energy Syst."},{"issue":"4","key":"10.1016\/j.neucom.2026.134583_bib20","doi-asserted-by":"crossref","first-page":"373","DOI":"10.2478\/jaiscr-2024-0020","article-title":"Exponential state estimation for delayed competitive neural network via stochastic sampled-data control with Markov jump parameters under actuator failure","volume":"14","author":"Cao","year":"2024","journal-title":"J. Artif. Intell. Soft Comput. Res."},{"key":"10.1016\/j.neucom.2026.134583_bib21","unstructured":"Z. Feng, , 2020, \u201cCodeBERT: a pre-trained model for programming and natural languages,\u201d Sep. 18, 2020, arXiv: arXiv:2002.08155. doi: 10.48550\/arXiv.2002.08155.."},{"key":"10.1016\/j.neucom.2026.134583_bib22","unstructured":"J. Devlin, M.-W. Chang, K. Lee, K. Toutanova, 2019, \u201cB.E.R.T.: pre-training of deep bidirectional transformers for language understanding,\u201d May 24, 2019, arXiv: arXiv:1810.04805. doi: 10.48550\/arXiv.1810.04805.."},{"key":"10.1016\/j.neucom.2026.134583_bib23","unstructured":"H. Tian, \u201cEvaluating representation learning of code changes for predicting patch correctness in program repair,\u201d Aug. 07, 2020, arXiv: arXiv:2008.02944. doi: 10.48550\/arXiv.2008.02944.."},{"key":"10.1016\/j.neucom.2026.134583_bib24","series-title":"Proceedings of the 2014 International Symposium on Software Testing and Analysis, in ISSTA 2014","first-page":"437","article-title":"Defects4J: a database of existing faults to enable controlled testing studies for Java programs","author":"Just","year":"2014"},{"key":"10.1016\/j.neucom.2026.134583_bib25","first-page":"573","article-title":"How often do single-statement bugs occur? the manySStuBs4J dataset","author":"Karampatsis","year":"2020","journal-title":"Proc. 17th Int. Conf. Min. Softw. Repos."},{"key":"10.1016\/j.neucom.2026.134583_bib26","doi-asserted-by":"crossref","unstructured":"T. Durieux, F. Madeiral, M. Martinez, R. Abreu\u201cEmpirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts,\u201d May 28, 2019, arXiv: arXiv:1905.11973. doi: 10.48550\/arXiv.1905.11973..","DOI":"10.1145\/3338906.3338911"},{"key":"10.1016\/j.neucom.2026.134583_bib27","unstructured":"Group Relative Policy Optimization for Image Captioning.\u201d Accessed: May 12, 2025. [Online]. Available: https:\/\/arxiv.org\/html\/2503.01333v1."},{"key":"10.1016\/j.neucom.2026.134583_bib28","unstructured":"Qwen, \u201cQwen2.5 Technical Report,\u201d Jan. 03, 2025, arXiv: arXiv:2412.15115. doi: 10.48550\/arXiv.2412.15115.."},{"issue":"2","key":"10.1016\/j.neucom.2026.134583_bib29","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/s10664-020-09920-w","article-title":"Automated patch assessment for program repair at scale","volume":"26","author":"Ye","year":"2021","journal-title":"Empir. Softw. Eng."},{"key":"10.1016\/j.neucom.2026.134583_bib30","unstructured":"D. Zhuang, X. Zhang, S.L. Song, S. Hooker\u201cRandomness in neural network training: characterizing the impact of tooling,\u201d arXiv.org. Accessed: May 25, 2026. [Online]. Available: https:\/\/arxiv.org\/abs\/2106.11872v1."},{"issue":"1","key":"10.1016\/j.neucom.2026.134583_bib31","article-title":"On the reproducibility and replicability of deep learning in software engineering","volume":"31","author":"Liu","year":"2021","journal-title":"ACM Trans. Softw. Eng. Methodol. TOSEM"}],"container-title":["Neurocomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0925231226019818?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0925231226019818?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T22:23:53Z","timestamp":1786487033000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0925231226019818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,11]]},"references-count":31,"alternative-id":["S0925231226019818"],"URL":"https:\/\/doi.org\/10.1016\/j.neucom.2026.134583","relation":{},"ISSN":["0925-2312"],"issn-type":[{"value":"0925-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2026,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"RePaCA: Leveraging reasoning large language models for static automated patch correctness assessment","name":"articletitle","label":"Article Title"},{"value":"Neurocomputing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.neucom.2026.134583","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"134583"}}