{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:55:01Z","timestamp":1767927301058,"version":"3.49.0"},"reference-count":124,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Delphi Automotive Systems, Luxembourg"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2019,9,1]]},"DOI":"10.1109\/tse.2018.2811489","type":"journal-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T19:35:25Z","timestamp":1519932925000},"page":"919-944","source":"Crossref","is-referenced-by-count":68,"title":["Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior"],"prefix":"10.1109","volume":"45","author":[{"given":"Reza","family":"Matinnejad","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-8231","authenticated-orcid":false,"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1393-1010","authenticated-orcid":false,"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Bruckmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430540"},{"key":"ref33","author":"gold","year":"1969","journal-title":"Digital Processing of Signals"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2934672"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_19"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2013.6614716"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024777"},{"key":"ref35","first-page":"1","article-title":"Simulink design verifier - applying automated formal methods to Simulink and Stateflow","author":"hamon","year":"2008","journal-title":"AFM'08 Third Workshop Automated Formal Methods"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.19"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref20","author":"chaturvedi","year":"2009","journal-title":"Modeling and Simulation of Systems Using MATLAB and Simulink"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70930-5_6"},{"key":"ref23","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref26","article-title":"Generative programming - methods, tools and applications","author":"czarnecki","year":"2000"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9219-7"},{"key":"ref25","author":"cohen","year":"1977","journal-title":"Statistical power analysis for the behavioral sciences (rev)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.10"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1605"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889162"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3117770"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.007"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_12"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786818"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642978"},{"key":"ref52","author":"luke","year":"2013","journal-title":"Essentials of Metaheuristics"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648622"},{"key":"ref4","author":"alur","year":"2015","journal-title":"Principles of Cyber-Physical Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610413"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7330941"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001427"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.38"},{"key":"ref7","first-page":"1","article-title":"PID control","volume":"2","author":"araki","year":"2002","journal-title":"Control Syst Robot Autom"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45110-2_147"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16573-3_11"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_13"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"ref47","article-title":"Introduction to embedded systems: A cyber-physical systems approach","volume":"1","author":"lee","year":"2010"},{"key":"ref42","year":"2015"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2014.6901058"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728648"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"ref72","volume":"1","author":"porat","year":"1997","journal-title":"A Course in Digital Signal Processing"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.2003.1207033"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176485"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/1281421.1281442"},{"key":"ref77","year":"2015"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_6"},{"key":"ref75","first-page":"392","article-title":"One evaluation of model-based testing and its automation","author":"pretschner","year":"2005","journal-title":"Proc 27th Int l Conf Software Eng"},{"key":"ref78","first-page":"559","article-title":"A large-scale empirical comparison of static and dynamic test case prioritization techniques","author":"qi luo and","year":"2016","journal-title":"Proc Joint Meet Found Softw Eng"},{"key":"ref79","author":"matinnejad","year":"0"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1868048.1868049"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_36"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_33"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883826"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1489"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2013.6732234"},{"key":"ref67","author":"nardi","year":"2014","journal-title":"On test oracles for Simulink-like models"},{"key":"ref68","author":"nise","year":"2004","journal-title":"Control Systems Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227083"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_91"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5071030"},{"key":"ref95","year":"2015"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.22"},{"key":"ref94","year":"0"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606556"},{"key":"ref93","year":"2015"},{"key":"ref106","first-page":"68","article-title":"Integration of formal analysis into a model-based software development process","author":"whalen","year":"2007","journal-title":"Proc 16th Int Workshop Formal Methods Ind Critical Syst"},{"key":"ref92","first-page":"49","article-title":"Verifying properties of an electro-mechanical braking system","author":"strathmann","year":"2015","journal-title":"Proc Workshop Appl Verif Contin Hybrid Syst"},{"key":"ref105","first-page":"1","article-title":"PID without a PhD","volume":"13","author":"wescott","year":"2000","journal-title":"Embedded Syst Program"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_28"},{"key":"ref104","author":"wainer","year":"2009","journal-title":"Discrete-Event Modeling and Simulation A Practitioner's Approach"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291172"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2012.6210014"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.16"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570249"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830732"},{"key":"ref98","year":"2015"},{"key":"ref99","year":"2015"},{"key":"ref96","year":"2015"},{"key":"ref97","year":"2015"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.42"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref13","first-page":"187","article-title":"An overview of sal","author":"bensalem","year":"2000","journal-title":"Proc 5th NASA Langley Formal Methods Workshop"},{"key":"ref14","first-page":"54","article-title":"Mutation operators for Simulink models","author":"binh","year":"2012","journal-title":"Proc 4rth Int Conf Knowl Syst Eng"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059183"},{"key":"ref118","author":"zander-nowicka","year":"2008","journal-title":"Model-Based Testing of Real-Time Embedded Systems in the Automotive Domain"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889212"},{"key":"ref82","author":"rao","year":"2011","journal-title":"Applying design verification tools in automotive software v&v Technical report SAE Technical Paper"},{"key":"ref117","author":"zander","year":"2012","journal-title":"Model-Based Testing for Embedded Systems"},{"key":"ref17","first-page":"208","article-title":"Mutation-based test case generation for Simulink models","author":"brillout","year":"2009","journal-title":"Proc 8th Int Conf Formal Methods Compon Objects"},{"key":"ref81","author":"matinnejad","year":"0"},{"key":"ref18","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"key":"ref84","year":"2010"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_161"},{"key":"ref19","author":"capon","year":"1991","journal-title":"Elementary Statistics for the Social Sciences Study Guide"},{"key":"ref83","year":"2010"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.687-691.1389"},{"key":"ref113","author":"witten","year":"2011","journal-title":"Data Mining Practical Machine Learning Tools and Techniques"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"ref80","author":"matinnejad","year":"0"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068188"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.039"},{"key":"ref122","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606565"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0195-3"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"ref86","year":"2015"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.444"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8840990\/08305644.pdf?arnumber=8305644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:28Z","timestamp":1657746868000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8305644\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,1]]},"references-count":124,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2811489","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":[[2019,9,1]]}}}