{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:59:35Z","timestamp":1784300375908,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032004, 61902050, 62132020"],"award-info":[{"award-number":["62032004, 61902050, 62132020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["3132019355, DUT22RC(3)028, NJ2020022"],"award-info":[{"award-number":["3132019355, DUT22RC(3)028, NJ2020022"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549159","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"1061-1072","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Detecting Simulink compiler bugs via controllable zombie blocks mutation"],"prefix":"10.1145","author":[{"given":"Shikai","family":"Guo","sequence":"first","affiliation":[{"name":"Dalian Maritime University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"He","family":"Jiang","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhihao","family":"Xu","sequence":"additional","affiliation":[{"name":"Dalian Maritime University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaochen","family":"Li","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhilei","family":"Ren","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhide","family":"Zhou","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rong","family":"Chen","sequence":"additional","affiliation":[{"name":"Dalian Maritime University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"MathWorks.  https:\/\/ww2.mathworks.cn\/help\/slcoverage\/ug\/types-of-model-coverage.html \t\t\t\t  MathWorks.  https:\/\/ww2.mathworks.cn\/help\/slcoverage\/ug\/types-of-model-coverage.html"},{"key":"e_1_3_2_1_2_1","unstructured":"MathWorks.  https:\/\/ww2.mathworks.cn\/en\/products\/simulink.html \t\t\t\t  MathWorks.  https:\/\/ww2.mathworks.cn\/en\/products\/simulink.html"},{"key":"e_1_3_2_1_3_1","unstructured":"MathWorks.  https:\/\/www.mathworks.com\/support\/bugreports\/ \t\t\t\t  MathWorks.  https:\/\/www.mathworks.com\/support\/bugreports\/"},{"key":"e_1_3_2_1_4_1","unstructured":"MathWorks.  https:\/\/ww2.mathworks.cn\/en\/ \t\t\t\t  MathWorks.  https:\/\/ww2.mathworks.cn\/en\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17071-3_11"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2889771"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180231"},{"key":"e_1_3_2_1_14_1","volume-title":"SLEMI:Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink. International Conference on Software Engineering (ICSE","author":"Chowdhury Shafiul Azam","year":"2020","unstructured":"Shafiul Azam Chowdhury , Sohil Lal Shrestha , Taylor T. Johnson , and Christoph Csallner . 2020 . SLEMI:Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink. International Conference on Software Engineering (ICSE 2020), 335\u2013346. https:\/\/ieeexplore.ieee.org\/abstract\/document\/9283988 Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, and Christoph Csallner. 2020. SLEMI:Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink. International Conference on Software Engineering (ICSE 2020), 335\u2013346. https:\/\/ieeexplore.ieee.org\/abstract\/document\/9283988"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196478.3196484"},{"key":"e_1_3_2_1_16_1","unstructured":"COMBAT. 2022. Replication package of COMBAT. https:\/\/github.com\/EDA-Testing\/COMBAT \t\t\t\t  COMBAT. 2022. Replication package of COMBAT. https:\/\/github.com\/EDA-Testing\/COMBAT"},{"key":"e_1_3_2_1_17_1","unstructured":"U.S. Consumer Product Safety Commission (CPSC). 2010. Recall 11-702: Fire Alarm Control Panels Recalled by Fire-Lite Alarms Due to Alert Failure. http:\/\/www.cpsc.gov\/en\/Recalls\/2011\/Fire-Alarm-Control-Panels-Recalledby-Fire-Lite-Alarms-Due-to-Alert-Failure \t\t\t\t  U.S. Consumer Product Safety Commission (CPSC). 2010. Recall 11-702: Fire Alarm Control Panels Recalled by Fire-Lite Alarms Due to Alert Failure. http:\/\/www.cpsc.gov\/en\/Recalls\/2011\/Fire-Alarm-Control-Panels-Recalledby-Fire-Lite-Alarms-Due-to-Alert-Failure"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_19_1","volume-title":"Data Type Propagation in Simulink Models with Graph Transformation. Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC","author":"Feh\u00e9r P\u00e9ter","year":"2013","unstructured":"P\u00e9ter Feh\u00e9r , Tam\u00e1s M\u00e9sz\u00e1ros , L\u00e1szl\u00f3 Lengyel , and Pieter J. Mosterman . 2013 . Data Type Propagation in Simulink Models with Graph Transformation. Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2013 ), 127\u2013137. https:\/\/ieeexplore.ieee.org\/document\/6664519 P\u00e9ter Feh\u00e9r, Tam\u00e1s M\u00e9sz\u00e1ros, L\u00e1szl\u00f3 Lengyel, and Pieter J. Mosterman. 2013. Data Type Propagation in Simulink Models with Graph Transformation. Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2013), 127\u2013137. https:\/\/ieeexplore.ieee.org\/document\/6664519"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/7333.918276"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0049-7"},{"key":"e_1_3_2_1_22_1","unstructured":"MathWorks Inc. 2018. Products and Services. http:\/\/www.mathworks.com\/products\/ \t\t\t\t  MathWorks Inc. 2018. Products and Services. http:\/\/www.mathworks.com\/products\/"},{"key":"e_1_3_2_1_23_1","unstructured":"MathWorks Inc. 2022. Simulink Documentation \u2014 MATLAB Simulink. http: \/\/www.mathworks.com\/help\/simulink\/ \t\t\t\t  MathWorks Inc. 2022. Simulink Documentation \u2014 MATLAB Simulink. http: \/\/www.mathworks.com\/help\/simulink\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3058671"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814319"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737986"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884636"},{"key":"e_1_3_2_1_31_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman . 1998 . Differential testing for software . Digital Technical Journa , 10 , 1 (1998), 100 \u2013 107 . William M. McKeeman. 1998. Differential testing for software. Digital Technical Journa, 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journa"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.3182\/20090916-3-ES-3003.00065"},{"key":"e_1_3_2_1_33_1","unstructured":"U.S. National Highway Traffic Safety Administration (NHTSA). 2014. Defect Information Report 14V-053. http:\/\/www-odi.nhtsa.dot.gov\/acms\/cs\/jaxrs\/download\/doc\/UCM450071\/RCDNN-14V053-0945.pdf \t\t\t\t  U.S. National Highway Traffic Safety Administration (NHTSA). 2014. Defect Information Report 14V-053. http:\/\/www-odi.nhtsa.dot.gov\/acms\/cs\/jaxrs\/download\/doc\/UCM450071\/RCDNN-14V053-0945.pdf"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. 10th European Conference on Software Architecture Workshops., 5\u20135. https:\/\/dl.acm.org\/doi\/10","author":"Olszewska Marta","unstructured":"Marta Olszewska , Yanja Dajsuren , Harald Altinger , Alexander Serebrenik , Marina A. Wald\u00e9n , and Mark G. J . van den Brand. 2016. Tailoring complexity metrics for Simulink models . In Proc. 10th European Conference on Software Architecture Workshops., 5\u20135. https:\/\/dl.acm.org\/doi\/10 .1145\/2993412.3004853 Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina A.Wald\u00e9n, and Mark G. J. van den Brand. 2016. Tailoring complexity metrics for Simulink models. In Proc. 10th European Conference on Software Architecture Workshops., 5\u20135. https:\/\/dl.acm.org\/doi\/10.1145\/2993412.3004853"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0450-9"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178152"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-5684"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.39"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468591"},{"key":"e_1_3_2_1_40_1","volume-title":"Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest 2020","author":"Shrestha Sohil Lal","year":"2020","unstructured":"Sohil Lal Shrestha , Shafiul Azam Chowdhury , and Christoph Csallner . 2020 . DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain . Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest 2020 ), https:\/\/par.nsf.gov\/servlets\/purl\/10187922 Sohil Lal Shrestha, Shafiul Azam Chowdhury, and Christoph Csallner. 2020. DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain. Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest 2020), https:\/\/par.nsf.gov\/servlets\/purl\/10187922"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3463274.3463806"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240322"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70708"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3119186"},{"key":"e_1_3_2_1_46_1"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330567"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00061"},{"key":"e_1_3_2_1_50_1","volume-title":"Mosterman","author":"Zander Justyna","year":"2011","unstructured":"Justyna Zander , Ina Schieferdecker , and Pieter J . Mosterman . 2011 . Model-based testing for embedded systems ( first ed.). CRC Press . Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman. 2011. Model-based testing for embedded systems (first ed.). CRC Press."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110884"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549159","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":51,"alternative-id":["10.1145\/3540250.3549159","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549159","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}