{"id":"https://openalex.org/W4308644054","doi":"https://doi.org/10.1145/3540250.3549159","title":"Detecting Simulink compiler bugs via controllable zombie blocks mutation","display_name":"Detecting Simulink compiler bugs via controllable zombie blocks mutation","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308644054","doi":"https://doi.org/10.1145/3540250.3549159"},"language":"en","primary_location":{"id":"doi:10.1145/3540250.3549159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3549159","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-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/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":true,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["Dalian Maritime University, China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","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":["Dalian University of Technology, China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030115022","display_name":"Zhihao Xu","orcid":null},"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":"Zhihao Xu","raw_affiliation_strings":["Dalian Maritime University, China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]},{"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":["Dalian University of Technology, China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108246345","display_name":"Zhilei Ren","orcid":null},"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":"Zhilei Ren","raw_affiliation_strings":["Dalian University of Technology, China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, 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":["Dalian University of Technology, China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100418997","display_name":"Rong Chen","orcid":"https://orcid.org/0000-0001-5848-6398"},"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":"Rong Chen","raw_affiliation_strings":["Dalian Maritime University, China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5018071549"],"corresponding_institution_ids":["https://openalex.org/I43313876"],"apc_list":null,"apc_paid":null,"fwci":1.0789,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.7603912,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1061","last_page":"1072"},"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.9997000098228455,"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.9990000128746033,"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.8226690292358398},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8144068717956543},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6993404626846313},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5540353059768677},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5010247230529785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4901162087917328},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.42221799492836},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3885688781738281},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36898064613342285},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1413733959197998},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.10797777771949768}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8226690292358398},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8144068717956543},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6993404626846313},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5540353059768677},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5010247230529785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4901162087917328},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.42221799492836},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3885688781738281},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36898064613342285},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1413733959197998},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.10797777771949768},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3540250.3549159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3549159","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G809629679","display_name":null,"funder_award_id":"3132019355, DUT22RC(3)028, NJ2020022","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G8940063445","display_name":null,"funder_award_id":"62032004, 61902050, 62132020","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/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":36,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1975567457","https://openalex.org/W1981952905","https://openalex.org/W2081620490","https://openalex.org/W2095607795","https://openalex.org/W2122464016","https://openalex.org/W2123227717","https://openalex.org/W2123634652","https://openalex.org/W2133350402","https://openalex.org/W2160937337","https://openalex.org/W2167231034","https://openalex.org/W2169239645","https://openalex.org/W2249862487","https://openalex.org/W2293702630","https://openalex.org/W2370472429","https://openalex.org/W2532737545","https://openalex.org/W2587114527","https://openalex.org/W2593098503","https://openalex.org/W2617809069","https://openalex.org/W2795412448","https://openalex.org/W2808317661","https://openalex.org/W2884020754","https://openalex.org/W2905627582","https://openalex.org/W2955578429","https://openalex.org/W2962425620","https://openalex.org/W2997653900","https://openalex.org/W3000636126","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3113205478","https://openalex.org/W3130011944","https://openalex.org/W3162089186","https://openalex.org/W3196239222","https://openalex.org/W3205281171","https://openalex.org/W4238083723","https://openalex.org/W4244688039"],"related_works":["https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W2042721808","https://openalex.org/W650988184","https://openalex.org/W2162410319","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2137356287","https://openalex.org/W2577630842","https://openalex.org/W1172579163"],"abstract_inverted_index":{"As":[0],"a":[1,111,130,189,201],"popular":[2],"Cyber-Physical":[3],"System":[4],"(CPS)":[5],"development":[6],"tool":[7],"chain,":[8],"MathWorks":[9,281],"Simulink":[10,35,53,84,117,255,268],"is":[11,26,56],"widely":[12],"used":[13],"to":[14,28,59,81,91,180,221],"prototype":[15],"CPS":[16,47,152,185,225],"models":[17,48],"in":[18,43,236,254],"safety-critical":[19],"applications,":[20],"e.g.,":[21],"aerospace":[22],"and":[23,32,66,99,129,162,227],"healthcare.":[24],"It":[25],"crucial":[27],"ensure":[29],"the":[30,38,67,70,95,100,150,169,173,177,182,191,194,207,223,237,242,251],"correctness":[31],"reliability":[33],"of":[34,41,61,63,69,149,184,193,231,234,270],"compiler":[36,39,54,118,256],"(i.e.,":[37],"module":[40],"Simulink)":[42],"practice":[44],"since":[45],"all":[46,168],"depend":[49],"on":[50],"compilation.":[51],"However,":[52],"testing":[55,114],"challenging":[57],"due":[58],"millions":[60],"lines":[62],"source":[64],"code":[65],"lack":[68],"complete":[71],"formal":[72],"language":[73],"specification.":[74],"Although":[75],"several":[76],"methods":[77],"have":[78,274],"been":[79,275],"proposed":[80],"automatically":[82],"test":[83],"compiler,":[85],"there":[86],"still":[87],"remains":[88],"two":[89],"challenges":[90],"be":[92,198],"tackled,":[93],"namely":[94],"limited":[96],"variant":[97,132,203,212,238],"space":[98],"insufficient":[101],"mutation":[102,127,137],"diversity.":[103],"To":[104],"address":[105],"these":[106],"challenges,":[107],"we":[108],"propose":[109],"COMBAT,":[110],"new":[112,202,278],"differential":[113],"method":[115],"for":[116,267],"testing.":[119,257],"COMBAT":[120,166,248,261],"includes":[121],"an":[122],"EMI":[123,136],"(Equivalence":[124],"Modulo":[125],"Input)":[126],"component":[128,138,214],"diverse":[131,211],"generation":[133,213],"component.":[134],"The":[135,210],"inserts":[139],"assertion":[140],"statements":[141,155],"(e.g.,":[142],"If":[143],"/While":[144],"blocks)":[145],"at":[146],"arbitrary":[147],"points":[148],"seed":[151,224],"model.":[153],"These":[154],"break":[156],"each":[157],"insertion":[158,174],"point":[159,175],"into":[160,176],"true":[161,178],"false":[163,195],"branches.":[164],"Then,":[165],"feeds":[167],"data":[170],"passed":[171],"through":[172],"branch":[179,196],"preserve":[181],"equivalence":[183],"variants.":[186],"In":[187],"such":[188],"way,":[190],"body":[192],"could":[197],"viewed":[199],"as":[200,277],"space,":[204,239],"thus":[205,240],"addressing":[206,241],"first":[208],"challenge.":[209,244],"uses":[215],"Markov":[216],"chain":[217],"Monte":[218],"Carlo":[219],"optimization":[220],"sample":[222],"model":[226],"generate":[228],"complex":[229],"mutations":[230],"long":[232],"sequences":[233],"blocks":[235],"second":[243],"Experiments":[245],"demonstrate":[246],"that":[247],"significantly":[249],"outperforms":[250],"state-of-the-art":[252],"approaches":[253],"Within":[258],"five":[259],"months,":[260],"has":[262],"reported":[263],"16":[264],"valid":[265],"bugs":[266,273,279],"R2021b,":[269],"which":[271],"11":[272],"confirmed":[276],"by":[280],"Support.":[282]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}