{"id":"https://openalex.org/W4414198002","doi":"https://doi.org/10.1109/dac63849.2025.11133188","title":"Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain","display_name":"Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414198002","doi":"https://doi.org/10.1109/dac63849.2025.11133188"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11133188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133188","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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/A5108879467","display_name":"Lehuan Zhang","orcid":"https://orcid.org/0009-0009-0908-9295"},"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":true,"raw_author_name":"Lehuan Zhang","raw_affiliation_strings":["Dalian University of Technology,School of Software,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology,School of Software,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":["Dalian Maritime University,School of Information Science and Technology,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University,School of Information Science and Technology,Dalian,China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100398246","display_name":"Zixuan Wang","orcid":"https://orcid.org/0000-0002-4198-7230"},"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":"Zixuan Wang","raw_affiliation_strings":["Dalian Maritime University,School of Information Science and Technology,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University,School of Information Science and Technology,Dalian,China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100357562","display_name":"Xiaoyu Wang","orcid":"https://orcid.org/0000-0001-5789-7371"},"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":"Xiaoyu Wang","raw_affiliation_strings":["Dalian Maritime University,School of Information Science and Technology,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian Maritime University,School of Information Science and Technology,Dalian,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,School of Software,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology,School of Software,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":["Dalian University of Technology,School of Software,Dalian,China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology,School of Software,Dalian,China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5108879467"],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2388992,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9337000250816345,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9337000250816345,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9316999912261963,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9021000266075134,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.576200008392334},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5746999979019165},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5419999957084656},{"id":"https://openalex.org/keywords/markov-chain-monte-carlo","display_name":"Markov chain Monte Carlo","score":0.4287000000476837},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.3984000086784363},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.39089998602867126},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.3840000033378601},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.3402000069618225},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.32919999957084656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7628999948501587},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.576200008392334},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5746999979019165},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5419999957084656},{"id":"https://openalex.org/C111350023","wikidata":"https://www.wikidata.org/wiki/Q1191869","display_name":"Markov chain Monte Carlo","level":3,"score":0.4287000000476837},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.3984000086784363},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.366100013256073},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.32919999957084656},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.3264000117778778},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.3140000104904175},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.29510000348091125},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28600001335144043},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.2791999876499176},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.2784999907016754},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.2718000113964081},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.2687999904155731},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac63849.2025.11133188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133188","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334111","display_name":"Innovation Fund","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2133350402","https://openalex.org/W2320062858","https://openalex.org/W2532737545","https://openalex.org/W2577663800","https://openalex.org/W2808317661","https://openalex.org/W2884020754","https://openalex.org/W2954978134","https://openalex.org/W3130011944","https://openalex.org/W3205281171","https://openalex.org/W4238083723","https://openalex.org/W4308644054","https://openalex.org/W4404133592","https://openalex.org/W4404133648","https://openalex.org/W4404133652"],"related_works":[],"abstract_inverted_index":{"MathWorks":[0],"Simulink,":[1],"a":[2,76],"commercial":[3],"CPS":[4],"development":[5],"tool":[6],"chain,":[7],"is":[8,112],"widely":[9,149],"used":[10,114,150],"as":[11],"an":[12],"industry":[13],"standard":[14],"for":[15,25],"designing":[16],"and":[17,21,58,93,127,142],"analyzing":[18],"system":[19],"behavior":[20],"generating":[22,48],"embedded":[23],"code":[24],"deployment.":[26],"However,":[27],"bugs":[28,133,146],"in":[29,134,147],"Simulink":[30],"can":[31],"cause":[32],"unexpected":[33],"behaviors":[34],"during":[35],"model":[36],"compilation,":[37],"making":[38],"their":[39],"elimination":[40],"critical.":[41],"Existing":[42],"methods":[43],"face":[44],"two":[45,135,138],"key":[46],"challenges:":[47],"equivalent":[49],"models":[50],"with":[51],"varied":[52],"data":[53,82],"flows":[54],"(data":[55],"flow":[56,83],"equivalence)":[57],"creating":[59],"diverse":[60,107],"block":[61,88],"types":[62],"to":[63,105,115],"comprehensively":[64],"test":[65],"the":[66,148],"compiler":[67,132],"(mutation":[68],"diversity).":[69],"To":[70],"address":[71],"these,":[72],"we":[73],"propose":[74],"LION,":[75],"differential":[77],"testing":[78,111],"approach.":[79],"LION":[80,120,140],"ensures":[81],"equivalence":[84],"by":[85,97],"inserting":[86],"\u201cstore-revert\u201d":[87],"pairs":[89],"between":[90],"existing":[91],"blocks":[92],"tackles":[94],"mutation":[95],"diversity":[96],"employing":[98],"Markov":[99],"Chain":[100],"Monte":[101],"Carlo":[102],"(MCMC)":[103],"sampling":[104],"generate":[106],"new":[108],"blocks.":[109],"Differential":[110],"then":[113],"identify":[116],"bugs.":[117],"Experiments":[118],"show":[119],"outperforms":[121],"state-of-the-art":[122],"approaches":[123],"like":[124],"SLforge,":[125],"SLEMI,":[126],"COMBAT,":[128],"detecting":[129],"610":[130],"additional":[131],"weeks.":[136],"Over":[137],"months,":[139],"uncovered":[141],"reported":[143],"16":[144],"valid":[145],"stable":[151],"version":[152],"of":[153],"Simulink.":[154]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}