{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:24:05Z","timestamp":1782879845755,"version":"3.54.5"},"reference-count":119,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-04622"],"award-info":[{"award-number":["RGPIN-2022-04622"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["DGECR-2022-0040"],"award-info":[{"award-number":["DGECR-2022-0040"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Compute Ontario (www.computeontario.ca) and Compute Canada"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/tse.2023.3343753","type":"journal-article","created":{"date-parts":[[2023,12,25]],"date-time":"2023-12-25T19:50:49Z","timestamp":1703533849000},"page":"239-257","source":"Crossref","is-referenced-by-count":11,"title":["Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3033-7371","authenticated-orcid":false,"given":"Federico","family":"Formica","sequence":"first","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8567-2611","authenticated-orcid":false,"given":"Tony","family":"Fan","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4549-8837","authenticated-orcid":false,"given":"Akshay","family":"Rajhans","sequence":"additional","affiliation":[{"name":"MathWorks, Natick, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1696-2768","authenticated-orcid":false,"given":"Vera","family":"Pantelic","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3161-2176","authenticated-orcid":false,"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, BG, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Simulink\u00ae","year":"2022"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2489280.2489285"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0523-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465482"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00883-0"},{"key":"ref6","first-page":"372","article-title":"Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng.","author":"Menghi","year":"2020"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338920"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"ref9","article-title":"Simulink\u00aeDesign Verifier\u2122","year":"2022"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44429-7_2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2018.8569614"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"ref13","article-title":"Prove properties in a model","year":"2022"},{"key":"ref14","first-page":"1222","article-title":"Seeding strategies for multi-objective test case selection: An application on simulation-based testing","volume-title":"Proc. Genetic Evol. Comput. Conf.","author":"Marcos","year":"2020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0037549716656791"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_17"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00018"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_24"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2811489"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4271\/2014-01-0306"},{"key":"ref23","article-title":"Reactis testing tools for Simulink and C code","year":"2022"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-020-09523-0"},{"key":"ref26","article-title":"Simulink\u00ae Test\u2122","year":"2022"},{"key":"ref27","article-title":"Test sequence","year":"2022"},{"key":"ref28","article-title":"Test assessment","year":"2022"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2969178"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_10"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00721-4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2859926"},{"key":"ref37","first-page":"133","article-title":"ARCH-COMP category report: Falsification with validation of results","volume-title":"Proc. Workshop Appl. Verification Continuous Hybrid Syst.","volume":"80","author":"Ernst","year":"2021"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.29007\/f57w"},{"key":"ref39","article-title":"Use test sequence scenarios in the test sequence editor and test manager","year":"2022"},{"key":"ref40","article-title":"Assess a model by using when decomposition","year":"2022"},{"key":"ref41","article-title":"Assess the damping ratio of a flutter suppression system","year":"2022"},{"key":"ref42","article-title":"Test traffic light control by using logical and temporal assessments","year":"2022"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00040"},{"key":"ref45","first-page":"9","article-title":"On example models and challenges ahead for the evaluation of complex cyber-physical systems with state of the art formal methods V&V, Lockheed Martin skunk works","volume-title":"Proc. Safe Secure Syst. Softw. Symp.","author":"Elliott","year":"2015"},{"key":"ref46","article-title":"The EcoCAR mobility challenge","year":"2022"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613894"},{"key":"ref48","article-title":"Test sequence and assessment syntax","year":"2022"},{"key":"ref49","article-title":"Stateflow\u00ae","year":"2022"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_12"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER.2014.6917426"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859453"},{"key":"ref54","article-title":"Simulate a Simulink model","year":"2022"},{"key":"ref55","article-title":"International competition on verifying continuous and hybrid systems (ARCH)","year":"2022"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_30"},{"key":"ref57","article-title":"HECATE","year":"2022"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ITEC53557.2022.9813961"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3624745"},{"key":"ref60","article-title":"Simscape\u00ae","year":"2022"},{"key":"ref61","article-title":"Simscape\u00ae Electrical\u2122","year":"2022"},{"key":"ref62","article-title":"Simscape\u00ae Driveline\u2122","year":"2022"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.52"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ESIT.2018.8665319"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/REM.2017.8075249"},{"key":"ref67","first-page":"129","article-title":"Using model-based design in an IEC 62304-compliant software development process","volume-title":"Proc. MBEES","author":"Hoadley","year":"2010"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2017.2742868"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353863"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106590"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110881"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3230059"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2945329"},{"key":"ref74","first-page":"1004","article-title":"Trace-checking signal-based temporal properties: A model-driven approach","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Autom. Softw. Eng.","author":"Boufaied","year":"2021"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510171"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3533818"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556968"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-023-10286-y"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"ref83","first-page":"163","article-title":"MiL testing of highly configurable continuous controllers: Scalable search using surrogate models","volume-title":"Proc. ACM\/IEEE Int. Conf. Autom. Softw. Eng.","author":"Peranandam","year":"2014"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176485"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.10"},{"key":"ref86","article-title":"Towards mutation testing of configurable Simulink models: A product line engineering perspective","author":"Arrieta","year":"2017","journal-title":"Jornadas de Ingeniera del So ware y Bases de Datos"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2016.21"},{"key":"ref88","article-title":"Reactis","year":"2022"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/1138474.1138479"},{"key":"ref90","article-title":"Testing the continuous behavior of embedded systems","volume-title":"Proc. Workshop Syst. Testing Validation","author":"Bringmann","year":"2007"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-61520-809-8.ch009"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2010.52"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.07.014"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3193070"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00036"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098229"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2898009"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW52544.2021.00040"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.3390\/sym10050146"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-017-2906-y"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102580"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528642"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/AITest55621.2022.00022"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/AITEST52744.2021.00033"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ICST57152.2023.00034"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00030"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-023-10306-x"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3202311"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2386"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00030"},{"key":"ref113","article-title":"VI-CarRealTime,\u201d","year":"2022"},{"key":"ref114","article-title":"BeamNG.tech","year":"2022"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW58534.2023.00018"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/SBFT59156.2023.00008"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/SBFT59156.2023.00010"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/SBFT59156.2023.00011"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1109\/sbft59156.2023.00007"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1109\/SBFT59156.2023.00009"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10433390\/10374027.pdf?arnumber=10374027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T05:58:33Z","timestamp":1709445513000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10374027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":119,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3343753","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2]]}}}