{"id":"https://openalex.org/W4387415154","doi":"https://doi.org/10.1109/tr.2023.3317643","title":"Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning","display_name":"Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning","publication_year":2023,"publication_date":"2023-10-06","ids":{"openalex":"https://openalex.org/W4387415154","doi":"https://doi.org/10.1109/tr.2023.3317643"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2023.3317643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2023.3317643","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"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 Reliability","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":null,"display_name":"Xiaochen 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, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0003-1923-0669","affiliations":[{"raw_affiliation_string":"School of Software, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, 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/A5101429795","display_name":"Hongyi Cheng","orcid":"https://orcid.org/0009-0004-6109-2321"},"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":"Hongyi Cheng","raw_affiliation_strings":["School of Information Science and Technology, Dalian Maritime University, Dalian, China"],"raw_orcid":"https://orcid.org/0009-0004-6109-2321","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"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, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian Key Laboratory of Artificial Intelligence, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian Key Laboratory of Artificial Intelligence, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7152,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78373494,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"73","issue":"2","first_page":"1060","last_page":"1074"},"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.9977999925613403,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/compiler","display_name":"Compiler","score":0.790368914604187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6800024509429932},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.502216100692749},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48206740617752075}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.790368914604187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6800024509429932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.502216100692749},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48206740617752075}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2023.3317643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2023.3317643","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"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 Reliability","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/G7452592615","display_name":null,"funder_award_id":"DUT22RC(3)028","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"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"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1499488621","https://openalex.org/W2030405312","https://openalex.org/W2055244247","https://openalex.org/W2095607795","https://openalex.org/W2123227717","https://openalex.org/W2123634652","https://openalex.org/W2145339207","https://openalex.org/W2155968351","https://openalex.org/W2167231034","https://openalex.org/W2249862487","https://openalex.org/W2295658119","https://openalex.org/W2320062858","https://openalex.org/W2390518826","https://openalex.org/W2461570336","https://openalex.org/W2532737545","https://openalex.org/W2577663800","https://openalex.org/W2592841766","https://openalex.org/W2593098503","https://openalex.org/W2808317661","https://openalex.org/W2997653900","https://openalex.org/W3000636126","https://openalex.org/W3008321987","https://openalex.org/W3130011944","https://openalex.org/W3161515677","https://openalex.org/W3162089186","https://openalex.org/W3205281171","https://openalex.org/W4226092483","https://openalex.org/W4238083723","https://openalex.org/W4244688039","https://openalex.org/W6692799276","https://openalex.org/W6752460667"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Simulink":[0,17,78,208],"compiler":[1,209],"testing":[2,20,77,223],"is":[3],"important":[4],"since":[5],"all":[6],"cyber-physical":[7],"system":[8],"(CPS)":[9],"models":[10,24,89,153,166,181],"are":[11,65],"required":[12],"to":[13,56,101,157,177,225],"be":[14],"compiled":[15],"by":[16,26,150],"compiler.":[18],"Current":[19],"processes":[21],"use":[22],"CPS":[23,27,36,60,82,88,104,152,165,180],"generated":[25],"model":[28,37,83],"generators":[29,38],"for":[30,67,90,167],"testing.":[31],"Since":[32],"the":[33,81,94,147,159,184,195,213],"effectiveness":[34],"of":[35,164],"heavily":[39],"relies":[40],"on":[41,86,98,183],"suitable":[42],"generator":[43],"configurations,":[44],"existing":[45],"approaches":[46,64],"randomize":[47],"configurations":[48,51,100],"or":[49],"infer":[50],"with":[52],"historical":[53],"bug":[54],"information":[55],"generate":[57,102,178],"diverse":[58,103,179],"bug-triggering":[59],"models.":[61,105],"However,":[62],"these":[63,108],"designed":[66],"general-purpose":[68],"compilers":[69],"(e.g.,":[70],"GCC),":[71],"which":[72,145],"have":[73],"two":[74],"challenges":[75],"when":[76],"compiler,":[79],"namely,":[80],"representation":[84],"challenge":[85,97,149],"representing":[87,151],"diversity":[91,168,191],"measurement":[92],"and":[93,161,190],"configuration":[95,136,188,215],"learning":[96,99,175],"To":[106],"address":[107],"challenges,":[109],"we":[110],"propose":[111],"<bold":[112,117,121,125,129],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[113,118,122,126,130],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">R</b>":[114,127],"einforcement":[115],"l":[116],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">E</b>":[119],"arning-based":[120],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">CO</b>":[123],"nfigu":[124],"ation":[128],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">D</b>":[131],"iversification":[132],"(RECORD),":[133],"a":[134,141,173],"new":[135],"diversification":[137,216],"approach.":[138],"RECORD":[139,170,204,218],"has":[140],"feature":[142,155],"vectorization":[143],"component,":[144],"addresses":[146],"first":[148],"as":[154],"vectors":[156],"capture":[158],"local":[160],"global":[162],"characteristics":[163],"measurement.":[169],"then":[171],"uses":[172],"reinforcement":[174],"component":[176],"based":[182],"learned":[185],"relationship":[186],"between":[187],"updates":[189],"changes,":[192],"thus":[193],"addressing":[194],"second":[196],"challenge.":[197],"Experiments":[198],"demonstrate":[199],"that":[200],"within":[201],"three":[202],"months,":[203],"reported":[205],"11":[206],"confirmed":[207],"bugs,":[210],"significantly":[211],"outperforming":[212],"state-of-the-art":[214],"approaches.":[217],"can":[219],"also":[220],"facilitate":[221],"different":[222],"strategies":[224],"find":[226],"more":[227],"bugs.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}