{"id":"https://openalex.org/W4389610361","doi":"https://doi.org/10.1109/tcad.2023.3341750","title":"Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments","display_name":"Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments","publication_year":2023,"publication_date":"2023-12-12","ids":{"openalex":"https://openalex.org/W4389610361","doi":"https://doi.org/10.1109/tcad.2023.3341750"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3341750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3341750","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","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/A5003136837","display_name":"Deheng Yang","orcid":"https://orcid.org/0000-0002-8383-1939"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Deheng Yang","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034699862","display_name":"Jiayu He","orcid":"https://orcid.org/0000-0002-1329-7312"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiayu He","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Mao","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101612110","display_name":"Tun Li","orcid":"https://orcid.org/0000-0001-7498-3909"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tun Li","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100639534","display_name":"Yan Lei","orcid":"https://orcid.org/0000-0003-4504-6806"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Lei","raw_affiliation_strings":["School of Big Data and Software Engineering, Chongqing University, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"School of Big Data and Software Engineering, Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040799000","display_name":"Xin Yi","orcid":"https://orcid.org/0000-0003-4511-1495"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Yi","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021371093","display_name":"Jiang Wu","orcid":"https://orcid.org/0000-0002-6353-8890"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang Wu","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5003136837"],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":0.6438,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77806489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"43","issue":"5","first_page":"1594","last_page":"1607"},"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.9998999834060669,"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.9998999834060669,"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.9988999962806702,"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/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.6818900108337402},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.6059315800666809},{"id":"https://openalex.org/keywords/overfitting","display_name":"Overfitting","score":0.5512564182281494},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.4894648790359497},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.43696409463882446},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.41493427753448486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35234975814819336},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3095707595348358},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22371059656143188},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.16793984174728394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6818900108337402},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6059315800666809},{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.5512564182281494},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.4894648790359497},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.43696409463882446},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.41493427753448486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35234975814819336},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3095707595348358},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22371059656143188},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.16793984174728394},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2023.3341750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3341750","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W347636100","https://openalex.org/W1492007289","https://openalex.org/W1509600527","https://openalex.org/W1602612484","https://openalex.org/W1857789879","https://openalex.org/W2012312630","https://openalex.org/W2024486027","https://openalex.org/W2060327071","https://openalex.org/W2061575154","https://openalex.org/W2063387237","https://openalex.org/W2091503495","https://openalex.org/W2122947685","https://openalex.org/W2137012271","https://openalex.org/W2145373440","https://openalex.org/W2153881107","https://openalex.org/W2162535172","https://openalex.org/W2295100577","https://openalex.org/W2344973853","https://openalex.org/W2474318526","https://openalex.org/W2518136680","https://openalex.org/W2740349831","https://openalex.org/W2767431443","https://openalex.org/W2769343112","https://openalex.org/W2795030435","https://openalex.org/W2798812031","https://openalex.org/W2867448323","https://openalex.org/W2886081451","https://openalex.org/W2898319337","https://openalex.org/W2924629359","https://openalex.org/W2946718325","https://openalex.org/W2954131085","https://openalex.org/W2962708851","https://openalex.org/W2962809971","https://openalex.org/W2963909831","https://openalex.org/W2967591898","https://openalex.org/W2972181140","https://openalex.org/W2998870469","https://openalex.org/W3003756849","https://openalex.org/W3033533057","https://openalex.org/W3047637237","https://openalex.org/W3160155705","https://openalex.org/W3181015145","https://openalex.org/W3182554126","https://openalex.org/W3193800237","https://openalex.org/W4213151038","https://openalex.org/W4213421742","https://openalex.org/W4213423286","https://openalex.org/W4214519628","https://openalex.org/W4214638978","https://openalex.org/W4220847985","https://openalex.org/W4225133905","https://openalex.org/W4229622528","https://openalex.org/W4298186479","https://openalex.org/W4313116445","https://openalex.org/W4313563636","https://openalex.org/W4387426727","https://openalex.org/W6745949993","https://openalex.org/W6767571097","https://openalex.org/W6798654303","https://openalex.org/W6839071607","https://openalex.org/W6843977082"],"related_works":["https://openalex.org/W4362597605","https://openalex.org/W1574414179","https://openalex.org/W4297676672","https://openalex.org/W3009056573","https://openalex.org/W2922073769","https://openalex.org/W4281702477","https://openalex.org/W2490526372","https://openalex.org/W4376166922","https://openalex.org/W4378510483","https://openalex.org/W4221142204"],"abstract_inverted_index":{"Hardware":[0],"description":[1],"languages":[2,33],"(HDLs)":[3],"are":[4,17],"pivotal":[5],"for":[6,15,41,51,171],"the":[7,54,71,80,96,100,128,177,181,186,216,236],"development":[8],"of":[9,31,36,56,76,102,131,136,163,180,189,195],"hardware":[10],"designs.":[11],"The":[12,174],"programming":[13,29,61,74,88,169],"courses":[14],"HDLs":[16,37,77],"also":[18,38],"popular":[19],"in":[20,65,99,193,215,235],"both":[21,196],"universities":[22],"and":[23,106,147,185,198,220],"online":[24],"course":[25],"platforms.":[26],"Similar":[27],"to":[28,47,70,143,155],"assignments":[30,62,89,170],"software":[32],"(SLs),":[34],"these":[35],"actively":[39],"call":[40],"automated":[42],"program":[43],"repair":[44,93,122],"(APR)":[45],"techniques":[46,58],"provide":[48],"personalized":[49],"feedback":[50],"students.":[52],"However,":[53,95],"research":[55],"APR":[57,82],"targeting":[59,86],"HDL":[60,87,168],"is":[63,203,221],"still":[64,109],"an":[66],"early":[67],"stage.":[68],"Due":[69],"significantly":[72],"different":[73],"mechanism":[75],"from":[78,167],"SLs,":[79],"only":[81],"technique":[83,123,134],"(i.e.,":[84],"CirFix)":[85],"contributes":[90],"a":[91,117,137,148,161,227],"customized":[92],"pipeline.":[94],"fundamental":[97],"challenges":[98],"design":[101],"HDL-oriented":[103],"fault":[104],"localization":[105,141],"patch":[107,152],"generation":[108],"remain":[110],"unresolved.":[111],"In":[112,200],"this":[113],"work,":[114],"we":[115],"propose":[116],"signal":[118,149],"value":[119,150],"transition-guided":[120,151],"defect":[121,140,218,238],"named":[124],"STRIDER":[125,190,202],"by":[126,206,225],"capturing":[127],"intrinsic":[129],"features":[130],"HDLs.":[132],"This":[133],"consists":[135],"time-aware":[138],"dynamic":[139],"approach":[142,154],"precisely":[144],"localize":[145],"defects,":[146],"synthesis":[153],"effectively":[156],"generate":[157],"fixes.We":[158],"further":[159],"construct":[160],"dataset":[162],"57":[164],"real":[165,217],"defects":[166,212],"tool":[172,183],"evaluation.":[173],"evaluation":[175],"reveals":[176],"overfitting":[178],"issue":[179],"pioneering":[182],"CirFix":[184,192,214,241],"significant":[187],"improvement":[188],"over":[191],"terms":[194],"effectiveness":[197],"efficiency.":[199],"particular,":[201],"more":[204,223],"effective":[205],"correctly":[207],"fixing":[208],"2.3X":[209],"as":[210,213],"many":[211],"dataset,":[219,239],"23X":[222],"efficient":[224],"generating":[226],"correct":[228],"fix":[229],"within":[230],"five":[231],"minutes":[232],"on":[233,246],"average":[234],"synthetic":[237],"while":[240],"takes":[242],"around":[243],"two":[244],"hours":[245],"average.":[247]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}