{"id":"https://openalex.org/W4416429321","doi":"https://doi.org/10.1109/tse.2025.3634318","title":"ProFuse: Test Case Prioritization Based on Multi Dimensional Feature Fusion for Logic Synthesis Tools Testing Acceleration","display_name":"ProFuse: Test Case Prioritization Based on Multi Dimensional Feature Fusion for Logic Synthesis Tools Testing Acceleration","publication_year":2025,"publication_date":"2025-11-20","ids":{"openalex":"https://openalex.org/W4416429321","doi":"https://doi.org/10.1109/tse.2025.3634318"},"language":null,"primary_location":{"id":"doi:10.1109/tse.2025.3634318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3634318","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","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/A5114223200","display_name":"Peiyu Zou","orcid":null},"institutions":[{"id":"https://openalex.org/I153374732","display_name":"Liaoning Normal University","ror":"https://ror.org/04c3cgg32","country_code":"CN","type":"education","lineage":["https://openalex.org/I153374732"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peiyu Zou","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Liaoning Normal University, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0003-2786-1807","affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Liaoning Normal University, Dalian, China","institution_ids":["https://openalex.org/I153374732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328758","display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102678414","display_name":"Xu Zhao","orcid":"https://orcid.org/0009-0001-3476-0994"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Zhao","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-3476-0994","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018071549","display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["School of Information Science and Technology, Dalian Maritime University, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001859368","display_name":"Zhide Zhou","orcid":"https://orcid.org/0000-0001-6195-7605"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhide Zhou","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-6195-7605","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100591806","display_name":"Yue Ma","orcid":"https://orcid.org/0000-0002-9840-872X"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yue Ma","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-9840-872X","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35156507,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"1","first_page":"304","last_page":"320"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.34529998898506165,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.34529998898506165,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.29919999837875366,"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/T10142","display_name":"Formal Methods in Verification","score":0.1703999936580658,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/test-case","display_name":"Test case","score":0.47110000252723694},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.46540001034736633},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.3741999864578247},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.37059998512268066},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.3560999929904938},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3474000096321106},{"id":"https://openalex.org/keywords/scenario-testing","display_name":"Scenario testing","score":0.3370000123977661},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.31779998540878296}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8398000001907349},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.47110000252723694},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.46540001034736633},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38920000195503235},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.37059998512268066},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36970001459121704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36970001459121704},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.3560999929904938},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3522999882698059},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.3370000123977661},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.31779998540878296},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.30959999561309814},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.29420000314712524},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.275299996137619},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2696000039577484},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2630000114440918},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3634318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3634318","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3427093674","display_name":null,"funder_award_id":"62032004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5057948433","display_name":null,"funder_award_id":"62472062","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5107667612","display_name":null,"funder_award_id":"62572090","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7460829232","display_name":null,"funder_award_id":"2023M730472","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G7874800282","display_name":null,"funder_award_id":"62302077","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1518100416","https://openalex.org/W1909835963","https://openalex.org/W2082434633","https://openalex.org/W2095873049","https://openalex.org/W2107940771","https://openalex.org/W2119861793","https://openalex.org/W2120563984","https://openalex.org/W2151074137","https://openalex.org/W2292289085","https://openalex.org/W2599461628","https://openalex.org/W2617809069","https://openalex.org/W2619383789","https://openalex.org/W2734711024","https://openalex.org/W2788919350","https://openalex.org/W2913650413","https://openalex.org/W2963935794","https://openalex.org/W3008410827","https://openalex.org/W3130437014","https://openalex.org/W3135263743","https://openalex.org/W3152154974","https://openalex.org/W4206262605","https://openalex.org/W4214638978","https://openalex.org/W4224245566","https://openalex.org/W4238083723","https://openalex.org/W4248101274","https://openalex.org/W4281385259","https://openalex.org/W4282033849","https://openalex.org/W4312889722","https://openalex.org/W4367604228","https://openalex.org/W4379115961","https://openalex.org/W4384916994","https://openalex.org/W4385065678","https://openalex.org/W4385764404","https://openalex.org/W4387735803","https://openalex.org/W4388568026","https://openalex.org/W4389352468","https://openalex.org/W4391681217","https://openalex.org/W4392885482","https://openalex.org/W4392919679","https://openalex.org/W4401568210","https://openalex.org/W4401568844"],"related_works":[],"abstract_inverted_index":{"Logic":[0],"synthesis":[1,44,52,105,190],"tools":[2,45,191],"translate":[3],"Hardware":[4],"Description":[5],"Language":[6],"(HDL)":[7],"designs":[8],"into":[9],"hardware":[10],"implementation.":[11],"To":[12],"test":[13,17,40,56,78,107,151,181],"these":[14,89],"tools,":[15,24],"numerous":[16],"cases":[18,41,57,79,152,182],"are":[19,133],"usually":[20],"executed":[21],"on":[22,42,50],"the":[23,72,82,167],"yet":[25],"only":[26],"a":[27,98,136],"few":[28],"of":[29,75,88,139,159,164],"them":[30],"can":[31,176],"trigger":[32],"faults,":[33],"leading":[34],"to":[35,61,121,148,173,183],"inefficient":[36],"testing.":[37],"Since":[38],"executing":[39],"logic":[43,104,189],"often":[46],"requires":[47],"significant":[48],"cost":[49],"complicated":[51],"and":[53,80,85,116,125,143,194],"simulation,":[54],"fault-triggering":[55,73,150],"should":[58],"be":[59],"prioritized":[60],"execute.":[62],"However,":[63],"existing":[64],"prioritization":[65,169],"methods":[66,170],"face":[67],"challenges":[68],"in":[69,188],"accurately":[70],"predicting":[71],"capability":[74],"dynamically":[76],"generated":[77,180],"modeling":[81],"unique":[83],"syntactic":[84,124],"structure":[86,126],"complexities":[87],"HDL-based":[90],"programs.":[91],"<p":[92],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[93],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Therefore,":[94],"we":[95],"propose":[96],"ProFuse,":[97],"multi-dimensional":[99],"feature":[100],"fusion":[101],"method":[102],"for":[103,202],"tool":[106],"case":[108],"prioritization.":[109],"ProFuse":[110,154,175],"leverages":[111],"Abstract":[112],"Syntax":[113],"Trees":[114],"(AST)":[115],"Data":[117],"Flow":[118],"Graphs":[119],"(DFG)":[120],"extract":[122],"novel":[123],"features":[127,132],"from":[128],"HDL":[129],"designs.":[130],"These":[131],"processed":[134],"by":[135,171],"joint":[137],"model":[138],"Multilayer":[140],"Perceptron":[141],"(MLP)":[142],"Graph":[144],"Convolutional":[145],"Network":[146],"(GCN)":[147],"rank":[149,178],"accurately.":[153],"achieves":[155],"an":[156],"Average":[157],"Percentage":[158],"Fault":[160],"Detection":[161],"(APFD)":[162],"score":[163],"0.9285,":[165],"outperforming":[166],"state-of-the-art":[168],"11.38%":[172],"82.49%.":[174],"efficiently":[177],"randomly":[179],"discover":[184],"15":[185],"new":[186],"faults":[187],"(i.e.,":[192],"Yosys":[193],"Vivado).":[195],"The":[196],"Vivado":[197],"community":[198],"acknowledged":[199],"our":[200],"work":[201],"improving":[203],"their":[204],"tool.":[205]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-11-20T00:00:00"}