{"id":"https://openalex.org/W7128480957","doi":"https://doi.org/10.1145/3797030","title":"Commercial Cyber-Physical System Development Tool Chain Bug Detecting via Diversity-Guided Fuzzing Test","display_name":"Commercial Cyber-Physical System Development Tool Chain Bug Detecting via Diversity-Guided Fuzzing Test","publication_year":2026,"publication_date":"2026-02-10","ids":{"openalex":"https://openalex.org/W7128480957","doi":"https://doi.org/10.1145/3797030"},"language":"en","primary_location":{"id":"doi:10.1145/3797030","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3797030","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","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":"Huijiang Liu","orcid":"https://orcid.org/0009-0002-5693-9693"},"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"]},{"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":"Huijiang Liu","raw_affiliation_strings":["Dalian Maritime University","Dalian University of Technology"],"raw_orcid":"https://orcid.org/0009-0002-5693-9693","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"Dalian University of Technology","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123431258","display_name":"Shikai Guo","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":"Shikai Guo","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125498560","display_name":"Jiaxue Liu","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":"Jiaxue Liu","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0006-8098-096X","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125494709","display_name":"Yifan Wang","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":"Yifan Wang","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0001-8346-2758","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","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":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0004-6109-2321","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125563436","display_name":"Xiaochen Li","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":"Xiaochen Li","raw_affiliation_strings":["Dalian University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"Dalian University of Technology","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108810527","display_name":"He Jiang","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":"He Jiang","raw_affiliation_strings":["Dalian University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"Dalian University of Technology","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.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12583056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"5","first_page":"1","last_page":"25"},"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.5527999997138977,"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.5527999997138977,"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.1225999966263771,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.1031000018119812,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.8862000107765198},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6399000287055969},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6104000210762024},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4970000088214874},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.49639999866485596},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4778999984264374},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.38040000200271606},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.366100013256073}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8862000107765198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.883400022983551},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6797000169754028},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6399000287055969},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6104000210762024},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4970000088214874},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.49639999866485596},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4778999984264374},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.38040000200271606},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.366100013256073},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.36329999566078186},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3555000126361847},{"id":"https://openalex.org/C195672273","wikidata":"https://www.wikidata.org/wiki/Q6888132","display_name":"Model-based design","level":2,"score":0.3522999882698059},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.326200008392334},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2915000021457672},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.2816999852657318},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26930001378059387},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2621999979019165},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797030","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3797030","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4766786992549896,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"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"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1975567457","https://openalex.org/W2024439359","https://openalex.org/W2066177777","https://openalex.org/W2095607795","https://openalex.org/W2123227717","https://openalex.org/W2158475682","https://openalex.org/W2169239645","https://openalex.org/W2293702630","https://openalex.org/W2320062858","https://openalex.org/W2370472429","https://openalex.org/W2532737545","https://openalex.org/W2593098503","https://openalex.org/W2808317661","https://openalex.org/W2895425194","https://openalex.org/W2905627582","https://openalex.org/W2997653900","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3090636587","https://openalex.org/W3097361834","https://openalex.org/W3130011944","https://openalex.org/W3161515677","https://openalex.org/W3196239222","https://openalex.org/W4225919695","https://openalex.org/W4238083723","https://openalex.org/W4285123487","https://openalex.org/W4293022997","https://openalex.org/W4308644054","https://openalex.org/W4384129302"],"related_works":[],"abstract_inverted_index":{"Simulink":[0,26,112,123,142],"is":[1,78],"MathWorks\u2019":[2],"commercial":[3],"cyber-physical":[4],"systems":[5,17],"development":[6],"tool,":[7],"which":[8],"enables":[9],"engineers":[10,30],"to":[11,35,67,80,99,117,125],"do":[12],"rapid":[13],"prototyping":[14],"of":[15,140],"their":[16],"through":[18],"simulation":[19],"and":[20,45,55,120],"embedded":[21,33,39,85,101,129],"code":[22,40,63,86,102,130],"generation.":[23,87,131],"When":[24],"a":[25,95],"model":[27],"meets":[28],"requirements,":[29],"can":[31],"utilize":[32],"coder":[34],"convert":[36],"it":[37,47,77],"into":[38],"(e.g.,":[41],"C":[42],"source":[43],"code)":[44],"deploy":[46],"in":[48,62,70,84,104],"safety-critical":[49],"applications":[50],"such":[51,82],"as":[52,166],"automotive,":[53],"aerospace,":[54],"healthcare.":[56],"However,":[57],"bugs":[58,83,135,167],"or":[59],"incorrect":[60],"implementations":[61],"generation":[64,103],"may":[65],"lead":[66],"unexpected":[68],"behaviors":[69],"target":[71],"applications,":[72],"posing":[73],"security":[74],"risks.":[75],"Therefore,":[76],"crucial":[79],"eliminate":[81],"To":[88],"address":[89],"this":[90],"issue,":[91],"we":[92],"propose":[93],"DESCO,":[94],"differential":[96,145],"testing":[97],"approach":[98],"test":[100],"Simulink.":[105],"DESCO":[106,132,151,159],"considers":[107],"the":[108,128,138],"functional":[109],"correlation":[110],"between":[111],"blocks":[113],"for":[114],"partitioning,":[115],"aiming":[116],"generate":[118],"diverse":[119],"complex":[121],"bug-triggering":[122],"models":[124,143],"thoroughly":[126],"exercise":[127],"then":[133],"detects":[134],"by":[136,144,168],"analyzing":[137],"outputs":[139],"these":[141],"testing.":[146],"The":[147],"experiments":[148],"demonstrate":[149],"that":[150],"significantly":[152],"outperforms":[153],"existing":[154],"approaches.":[155],"In":[156],"three":[157],"months,":[158],"reported":[160],"16":[161],"issues,":[162],"including":[163],"12":[164],"confirmed":[165],"MathWorks":[169],"Support.":[170]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-02-11T00:00:00"}