{"id":"https://openalex.org/W4392024795","doi":"https://doi.org/10.1109/tse.2024.3368553","title":"A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection","display_name":"A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection","publication_year":2024,"publication_date":"2024-02-22","ids":{"openalex":"https://openalex.org/W4392024795","doi":"https://doi.org/10.1109/tse.2024.3368553"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3368553","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tse.2024.3368553","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/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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101452807","display_name":"Zun Wang","orcid":"https://orcid.org/0009-0006-1478-5963"},"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":"Zun Wang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0009-0006-1478-5963","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/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/A5100423958","display_name":"Hui Li","orcid":"https://orcid.org/0000-0003-1923-0669"},"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-0003-1923-0669","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/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/A5102820628","display_name":"Weifeng Sun","orcid":"https://orcid.org/0000-0003-3851-9986"},"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":"Weifeng Sun","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0003-3851-9986","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/A5100375823","display_name":"Tao Zhang","orcid":"https://orcid.org/0000-0002-6272-4069"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Tao Zhang","raw_affiliation_strings":["School of Computer Science and Engineering, Macau University of Science and Technology, Macao, China"],"raw_orcid":"https://orcid.org/0000-0002-6272-4069","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Macau University of Science and Technology, Macao, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3791,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83503036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"50","issue":"4","first_page":"937","last_page":"955"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9961000084877014,"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.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9017531871795654},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5623511075973511},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39906516671180725},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0950222909450531}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9017531871795654},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5623511075973511},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39906516671180725},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0950222909450531}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3368553","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tse.2024.3368553","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/G6007899901","display_name":null,"funder_award_id":"62202079","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"},{"id":"https://openalex.org/G7967936490","display_name":null,"funder_award_id":"61902096","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8022484762","display_name":null,"funder_award_id":"DUT22ZD101","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G874560949","display_name":null,"funder_award_id":"0014/2022/A","funder_id":"https://openalex.org/F4320323893","funder_display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia"}],"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"},{"id":"https://openalex.org/F4320323893","display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia","ror":"https://ror.org/05vna4324"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W1967415996","https://openalex.org/W2016969992","https://openalex.org/W2030405312","https://openalex.org/W2064422880","https://openalex.org/W2075699551","https://openalex.org/W2094998159","https://openalex.org/W2147096558","https://openalex.org/W2163437659","https://openalex.org/W2166991886","https://openalex.org/W2187774691","https://openalex.org/W2291098396","https://openalex.org/W2523794976","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2546986876","https://openalex.org/W2592057610","https://openalex.org/W2619340758","https://openalex.org/W2735780801","https://openalex.org/W2740841986","https://openalex.org/W2778452573","https://openalex.org/W2782904295","https://openalex.org/W2806746626","https://openalex.org/W2808279976","https://openalex.org/W2899202932","https://openalex.org/W2920974348","https://openalex.org/W2922015121","https://openalex.org/W2953410124","https://openalex.org/W2969901236","https://openalex.org/W2975468520","https://openalex.org/W2997653900","https://openalex.org/W3000636126","https://openalex.org/W3007652338","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3011481298","https://openalex.org/W3012379745","https://openalex.org/W3035326996","https://openalex.org/W3047083771","https://openalex.org/W3089476745","https://openalex.org/W3107362213","https://openalex.org/W3107652887","https://openalex.org/W3130011944","https://openalex.org/W3160144040","https://openalex.org/W3162053740","https://openalex.org/W3172669705","https://openalex.org/W3205281171","https://openalex.org/W4226230110","https://openalex.org/W4229673714","https://openalex.org/W4237292617","https://openalex.org/W4238083723","https://openalex.org/W4244688039","https://openalex.org/W4255897758","https://openalex.org/W4284706564","https://openalex.org/W4293072363","https://openalex.org/W4307510928","https://openalex.org/W4312697818"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"High-Level":[0],"Synthesis":[1],"(HLS)":[2],"tools":[3,27],"convert":[4,241],"C/C++":[5,41],"design":[6],"code":[7,13,51,197],"into":[8,40,245],"Hardware":[9],"Description":[10],"Language":[11],"(HDL)":[12],"automatically,":[14],"which":[15,31,174,326],"are":[16,32,275],"often":[17],"used":[18,178,289],"for":[19,43,161,204],"Field":[20],"Programmable":[21],"Gate":[22],"Array":[23],"(FPGA)":[24],"design.":[25],"HLS":[26,74,93,103,164,236,264,291],"provide":[28],"many":[29,81],"pragmas,":[30],"a":[33,146,176,205,226,287],"kind":[34],"of":[35,50,69,91,120,126,134,172,200,228,253,307,322,325],"directive":[36],"to":[37,45,57,87,114,130,154,191,224,240],"be":[38,115],"inserted":[39],"code,":[42],"designers":[44],"efficiently":[46],"control":[47],"the":[48,67,89,99,118,124,131,170,186,192,196,215,235,250,254,269,299,308,319],"synthesis":[49],"components":[52],"(e.g.,":[53,77],"arrays":[54],"and":[55,64,123,137,149,213,248,272,280],"loops)":[56],"generate":[58,225],"FPGA":[59,290],"implementations":[60],"with":[61,159,230],"varying":[62],"performances":[63],"costs.":[65],"However,":[66],"use":[68],"some":[70],"pragmas":[71,160],"may":[72],"trigger":[73],"tool":[75,78,104,165,237,265],"bugs":[76,266,317,328],"crashes).":[79],"Although":[80],"formal":[82],"methods":[83],"have":[84,329],"been":[85,330],"proposed":[86],"verify":[88],"correctness":[90],"various":[92],"phases,":[94],"no":[95],"relevant":[96],"work":[97],"addresses":[98],"problem":[100],"on":[101,221,259,284,318],"detecting":[102,163],"pragma-related":[105,166],"bugs.":[106,167],"To":[107],"resolve":[108],"this":[109,141],"problem,":[110],"two":[111],"challenges":[112],"need":[113],"addressed,":[116],"namely":[117],"selection":[119,218],"testing":[121,135,157,188,201,223,243],"programs":[122,136,158,229,244],"acquisition":[125],"pragma":[127,138,216],"combinations,":[128],"due":[129],"enormous":[132],"number":[133],"combinations.":[139],"In":[140,311],"paper,":[142],"we":[143],"propose":[144],"TEPACS,":[145],"TEsting":[147],"Program":[148],"prAgma":[150],"Combination":[151],"Selection-based":[152],"framework,":[153],"construct":[155],"diverse":[156],"effectively":[162],"TEPACS":[168,184,208,233,262,279,297,314],"follows":[169],"idea":[171],"fuzzing,":[173],"is":[175],"widely":[177,288],"technique":[179],"in":[180,305],"software":[181],"testing.":[182],"First,":[183],"selects":[185],"representative":[187],"program":[189],"according":[190],"cosine":[193],"distance":[194],"between":[195],"component":[198],"vectors":[199],"programs.":[202],"Then,":[203],"selected":[206],"program,":[207],"generates":[209],"its":[210,281],"golden":[211,273],"output":[212,274],"uses":[214,234],"combination":[217],"method":[219],"based":[220,258],"combinatorial":[222],"set":[227],"different":[231],"pragmas.":[232],"under":[238],"test":[239],"these":[242],"HDL":[246,255],"codes":[247],"obtains":[249],"simulation":[251,270],"results":[252,294],"code.":[256],"Finally,":[257],"differential":[260],"testing,":[261],"identifies":[263],"triggered":[267],"if":[268],"result":[271],"inconsistent.":[276],"We":[277],"evaluate":[278],"five":[282],"variants":[283],"Vitis":[285,323],"HLS,":[286,324],"tool.":[292],"Experimental":[293],"show":[295],"that":[296],"outperforms":[298],"baselines":[300],"by":[301],"at":[302],"least":[303],"11.17%":[304],"terms":[306],"bug-finding":[309],"capability.":[310],"one":[312],"month,":[313],"detected":[315],"34":[316],"latest":[320],"version":[321],"9":[327],"confirmed.":[331]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}