{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T08:58:07Z","timestamp":1773997087834,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-15-F-0001,FA9550-15-1-0258,FA9550-16-1-0246"],"award-info":[{"award-number":["FA9550-15-F-0001,FA9550-15-1-0258,FA9550-16-1-0246"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007515","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1464311,1509804,1527398,1713253,1736323,1911017"],"award-info":[{"award-number":["1464311,1509804,1527398,1713253,1736323,1911017"]}],"id":[{"id":"10.13039\/100007515","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-13-2-0115,FA8750-15-1-0105,FA8650-12-3-7255"],"award-info":[{"award-number":["FA8750-13-2-0115,FA8750-15-1-0105,FA8650-12-3-7255"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380381","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"335-346","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["SLEMI"],"prefix":"10.1145","author":[{"given":"Shafiul Azam","family":"Chowdhury","sequence":"first","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sohil Lal","family":"Shrestha","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Csallner","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155678"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 18th International Conference on Hybrid Systems: Computation and Control (HSCC). ACM, 128--133","author":"Bak Stanley","unstructured":"Stanley Bak, Sergiy Bogomolov, and Taylor T. Johnson. 2015. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. In Proc. 18th International Conference on Hybrid Systems: Computation and Control (HSCC). ACM, 128--133."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"e_1_3_2_1_6_1","volume-title":"Mutation-Based Test Case Generation for Simulink Models. In Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009","author":"Brillout Angelo","year":"2010","unstructured":"Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp R\u00fcmmer, and Georg Weissenbacher. 2010. Mutation-Based Test Case Generation for Simulink Models. In Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, November 4--6, 2009. Revised Selected Papers. Springer, 208--227."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098228"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_10_1","unstructured":"Shafiul Azam Chowdhury et al. 2018. SLforge web site. https:\/\/github.com\/verivital\/slsf_randgen\/wiki. Accessed Jan 2020."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Shafiul Azam Chowdhury et al. 2020. SLEMI web site. https:\/\/github.com\/shafiul\/slemi. Accessed Jan 2020.","DOI":"10.1145\/3377812.3382147"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51738-4_4"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/3196478.3196484"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0082-0"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. Symposium on Theory of Modeling and Simulation (TMS). ACM, 314--321","author":"Denil Joachim","year":"2014","unstructured":"Joachim Denil, Pieter J. Mosterman, and Hans Vangheluwe. 2014. Rule-based model transformation for, and in Simulink. In Proc. Symposium on Theory of Modeling and Simulation (TMS). ACM, 314--321."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/www.dspace.com\/en\/inc\/home\/products\/sw\/pcgs\/targetli.cfm. Accessed","author":"dSPACE Inc. 2020. TargetLink.","year":"2020","unstructured":"dSPACE Inc. 2020. TargetLink. https:\/\/www.dspace.com\/en\/inc\/home\/products\/sw\/pcgs\/targetli.cfm. Accessed Jan 2020."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS-EERC.2013.24"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2009.4983313"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/7333.918276"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0049-7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024777"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013208.1013209"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_33"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, 65--76","author":"Lidbury Christopher","unstructured":"Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson. 2015. Many-core Compiler Fuzzing. In Proc. 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, 65--76."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE.","author":"Liu Bing","unstructured":"Bing Liu, Lucia, Shiva Nejati, and Lionel C. Briand. 2017. Improving fault localization for Simulink models using search-based testing and prediction models. In Proc. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE."},{"key":"e_1_3_2_1_32_1","unstructured":"MathWorks Inc. 2018. Products and Services. http:\/\/www.mathworks.com\/products\/. Accessed Jan 2020."},{"key":"e_1_3_2_1_33_1","volume-title":"About Data Types in Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/working-with-data-types.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. About Data Types in Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/working-with-data-types.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_34_1","volume-title":"Algebraic Loop Concepts --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/algebraic-loops.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Algebraic Loop Concepts --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/algebraic-loops.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_35_1","volume-title":"Blocks for Which Sample Time is Not Recommended --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/sampletimehiding.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Blocks for Which Sample Time is Not Recommended --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/sampletimehiding.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_36_1","volume-title":"Choose a Solver --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/types-of-solvers.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Choose a Solver --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/ug\/types-of-solvers.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_37_1","volume-title":"Sample Time --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/sample-time.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Sample Time --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/simulink\/sample-time.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_38_1","volume-title":"Simulink Coverage --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/slcoverage\/. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Simulink Coverage --- MATLAB & Simulink. https:\/\/www.mathworks.com\/help\/slcoverage\/. Accessed Jan 2020."},{"key":"e_1_3_2_1_39_1","volume-title":"Simulink Design Verifier --- MATLAB & Simulink. https:\/\/www.mathworks.com\/products\/sldesignverifier.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Simulink Design Verifier --- MATLAB & Simulink. https:\/\/www.mathworks.com\/products\/sldesignverifier.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_40_1","volume-title":"Simulink Documentation --- Conditional Subsystem Initial Output Values. https:\/\/www.mathworks.com\/help\/simulink\/ug\/specify-or-inherit-conditional-subsystem-initial-values.html. Accessed","author":"MathWorks Inc. 2020.","year":"2020","unstructured":"MathWorks Inc. 2020. Simulink Documentation --- Conditional Subsystem Initial Output Values. https:\/\/www.mathworks.com\/help\/simulink\/ug\/specify-or-inherit-conditional-subsystem-initial-values.html. Accessed Jan 2020."},{"key":"e_1_3_2_1_41_1","unstructured":"MathWorks Inc. 2020. Simulink Documentation --- MATLAB & Simulink. http:\/\/www.mathworks.com\/help\/simulink\/. Accessed Jan 2020."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889162"},{"key":"e_1_3_2_1_43_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 Journal 10, 1 (1998), 100--107. http:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol10num1\/vol10num1art9.pdf","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3182\/20090916-3-ES-3003.00065"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. 15th International Conference on Runtime Verification (RV).","author":"Nguyen Luan Viet","unstructured":"Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, and Taylor T. Johnson. 2015. Runtime Verification of Model-based Development Environments. In Proc. 15th International Conference on Runtime Verification (RV)."},{"key":"e_1_3_2_1_47_1","volume-title":"Proc. 10th European Conference on Software Architecture Workshops.","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."},{"key":"e_1_3_2_1_48_1","first-page":"1","article-title":"Software engineering practices and Simulink: Bridging the gap","volume":"20","author":"Pantelic Vera","year":"2017","unstructured":"Vera Pantelic, Steven Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, and Alan Wassyng. 2017. Software engineering practices and Simulink: Bridging the gap. International Journal on Software Tools for Technology Transfer (STTT) 20, 1 (Feb. 2017), 95--117.","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178152"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.39"},{"key":"e_1_3_2_1_52_1","first-page":"14","article-title":"Practical testing of a C99 compiler using output comparison. Software","volume":"37","author":"Sheridan Flash","year":"2007","unstructured":"Flash Sheridan. 2007. Practical testing of a C99 compiler using output comparison. Software: Practice & Experience (SPE) 37, 14 (Nov. 2007), 1475--1488.","journal-title":"Practice & Experience (SPE)"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872557"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/IAdCC.2013.6514434"},{"key":"e_1_3_2_1_55_1","volume-title":"Proc. 7th IEEE International Conference on Software Testing, Verification and Validation (ICST) Workshops. IEEE, 206--215","author":"Stephan Matthew","unstructured":"Matthew Stephan, Manar H. Alalfi, and James R. Cordy. 2014. Towardsa taxonomy for Simulink model mutations. In Proc. 7th IEEE International Conference on Software Testing, Verification and Validation (ICST) Workshops. IEEE, 206--215."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240322"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70708"},{"key":"e_1_3_2_1_58_1","unstructured":"Zhendong Su and Chengnian Sun. 2020. EMI Compiler Validation Project. http:\/\/web.cs.ucdavis.edu\/~su\/emi-project\/. Accessed Jan 2020."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984038"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.39"},{"key":"e_1_3_2_1_61_1","volume-title":"Proc. 8th International Conference on Software Engineering Advances (ICSEA). IARIA, 140--145","author":"Tran Quang Minh","year":"2013","unstructured":"Quang Minh Tran, Benjamin Wilmes, and Christian Dziobek. 2013. Refactoring of Simulink diagrams via composition of transformation steps. In Proc. 8th International Conference on Software Engineering Advances (ICSEA). IARIA, 140--145."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_63_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."},{"key":"e_1_3_2_1_64_1","volume-title":"Proc. Genetic and Evolutionary Computation Conference (GECCO). ACM, 1061--1068","author":"Zhan Yuan","unstructured":"Yuan Zhan and John A. Clark. 2005. Search-based mutation testing for Simulink models. In Proc. Genetic and Evolutionary Computation Conference (GECCO). ACM, 1061--1068."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_33"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380381","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380381","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380381"}},"subtitle":["equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":63,"alternative-id":["10.1145\/3377811.3380381","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380381","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}