{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:01:43Z","timestamp":1771696903517,"version":"3.50.1"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"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":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1109\/tcad.2023.3341750","type":"journal-article","created":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T18:49:45Z","timestamp":1702406985000},"page":"1594-1607","source":"Crossref","is-referenced-by-count":4,"title":["Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8383-1939","authenticated-orcid":false,"given":"Deheng","family":"Yang","sequence":"first","affiliation":[{"name":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1329-7312","authenticated-orcid":false,"given":"Jiayu","family":"He","sequence":"additional","affiliation":[{"name":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4204-7424","authenticated-orcid":false,"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[{"name":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7498-3909","authenticated-orcid":false,"given":"Tun","family":"Li","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4504-6806","authenticated-orcid":false,"given":"Yan","family":"Lei","sequence":"additional","affiliation":[{"name":"School of Big Data and Software Engineering, Chongqing University, Chongqing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4511-1495","authenticated-orcid":false,"given":"Xin","family":"Yi","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6353-8890","authenticated-orcid":false,"given":"Jiang","family":"Wu","sequence":"additional","affiliation":[{"name":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Semiconductor market size worldwide from 1987 to 2022","year":"2022"},{"key":"ref2","volume-title":"Prologue: The 2020 wilson research group functional verification study","year":"2023"},{"key":"ref3","volume-title":"Introductory digital systems laboratory","year":"2023"},{"key":"ref4","volume-title":"Design of very large-scale integrated (VLSI) systems","year":"2023"},{"key":"ref5","volume-title":"edX","year":"2023"},{"key":"ref6","volume-title":"Coursera","year":"2023"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3513140"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3501820"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3153522"},{"key":"ref10","article-title":"InvAASTCluster: On applying invariant-based program clustering to introductory programming assignments","author":"Orvalho","year":"2022","journal-title":"arXiv:2206.14175"},{"key":"ref11","article-title":"Repairing bugs in python assignments using large language models","author":"Zhang","year":"2022","journal-title":"arXiv:2209.14876"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3510418"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468598"},{"key":"ref14","article-title":"FAPR: Fast and accurate program repair for introductory programming courses","author":"Lu","year":"2021","journal-title":"arXiv:2107.06550"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00044"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314629"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180219"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192387"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3276528"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192384"},{"key":"ref22","article-title":"Dynamic neural program embedding for program repair","author":"Wang","year":"2017","journal-title":"arXiv:1711.07163"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106262"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2984043.2989222"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1370750.1370761"},{"key":"ref28","volume":"1","author":"Palnitkar","year":"2003","journal-title":"Verilog HDL: A Guide to Digital Design and Synthesis"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/GI52543.2021.00013"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507701"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507763"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3403\/30167877"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338911"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510222"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/463912"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00014"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180233"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4380-9_16"},{"key":"ref48","volume-title":"Writing efficient testbenches","author":"Hamid","year":"2010"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.357987"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714927"},{"issue":"2","key":"ref51","first-page":"30","article-title":"Verification and fault localization for VHDL programs","volume":"8","author":"Bloem","year":"2002","journal-title":"J. Telemat. Eng. Soc. (TIV)"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79355-7_35"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.5"},{"key":"ref54","first-page":"5","article-title":"The ANTARES approach to automatic systems diagnosis","volume-title":"Proc. 22nd Int. Workshop Princ. Diag. (DX-2011)","author":"van Gemund"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_6"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD56317.2022.00085"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507748"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115674"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2970009"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2874648"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556893"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10506737\/10354074.pdf?arnumber=10354074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T18:42:53Z","timestamp":1714761773000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10354074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":64,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2023.3341750","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}