{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,31]],"date-time":"2026-10-31T16:25:45Z","timestamp":1793463945155,"version":"4.5.0"},"reference-count":79,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/tse.2023.3255177","type":"journal-article","created":{"date-parts":[[2023,3,10]],"date-time":"2023-03-10T13:22:54Z","timestamp":1678454574000},"page":"1-20","source":"Crossref","is-referenced-by-count":30,"title":["Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9566-324X","authenticated-orcid":false,"given":"Thanh","family":"Le-Cong","sequence":"first","affiliation":[{"name":"School of Computing and Information Systems, The University of Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Duc-Minh","family":"Luong","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Hanoi University of Science and Technology, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5044-1582","authenticated-orcid":false,"given":"Xuan Bach D.","family":"Le","sequence":"additional","affiliation":[{"name":"School of Computing and Information Systems, The University of Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-7201","authenticated-orcid":false,"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"School of Computing and Information Systems, Singapore Management University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nhat-Hoa","family":"Tran","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Hanoi University of Science and Technology, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bui","family":"Quang-Huy","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Hanoi University of Science and Technology, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Quyet-Thang","family":"Huynh","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Hanoi University of Science and Technology, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.31"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3485515"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227176"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416590"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref58","first-page":"5998","article-title":"Attention is all you need","author":"vaswani","year":"2017","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950295"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.65"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380361"},{"key":"ref55","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1145\/3324884.3416532","article-title":"Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair","author":"tian","year":"2020","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00079"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635873"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-85706-5_42"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09780-z"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3428257"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00064"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00033"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref42","first-page":"116","article-title":"Toward the analysis of graph neural networks","author":"nguyen","year":"2022","journal-title":"Proc IEEE\/ACM 44th Int Conf Softw Eng New Ideas Emerg Results"},{"key":"ref41","first-page":"234","article-title":"A critical review of “automatic patch generation learned from human-written patches","author":"monperrus","year":"2014","journal-title":"Proc 36th Int Conf Softw Eng"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558936"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106281"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693125"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.findings-emnlp.139"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"moura","year":"2008","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2940179"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/GI.2019.00011"},{"key":"ref5","first-page":"4171","article-title":"BERT: Pre-training of deep bidirectional transformers for language understanding","author":"devlin","year":"2018","journal-title":"Proc Conf North Amer Chapter Assoc Comput Linguistics Hum Lang Technol"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref79","article-title":"PatchZero: Zero-shot automatic patch correctness assessment","author":"zhou","year":"2023"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1557019.1557083"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME52107.2021.00044"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180262"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397369"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510222"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8667970"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09920-w"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380338"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678720"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00085"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9619-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931049"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931049"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9470-4"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00039"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3071750"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106274"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556926"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/IBF.2019.8665475"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9577-2"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.76"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00029"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549175"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/IBF50092.2020.9034821"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098225"},{"key":"ref64","first-page":"959","article-title":"Less training, more repairing please: Revisiting automated program repair via zero-shot learning","author":"steven xia","year":"2022","journal-title":"Proc 30th ACM Joint Eur Softw Eng Conf Symp Found Softw Eng"},{"key":"ref63","first-page":"1","article-title":"Context-aware patch generation for better automated program repair","author":"wen","year":"2018","journal-title":"Proc IEEE\/ACM 40th Int Conf Softw Eng"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00028"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180182"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380345"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3505247"},{"key":"ref60","first-page":"1","article-title":"A compare-aggregate model for matching text sequences","author":"wang","year":"0","journal-title":"Proc Int Conf Learn Representations"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/4359463\/10066209.pdf?arnumber=10066209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T17:17:46Z","timestamp":1686676666000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10066209\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":79,"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3255177","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}