{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:40:03Z","timestamp":1761964803115},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/coase.2016.7743479","type":"proceedings-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T21:35:22Z","timestamp":1479418522000},"page":"758-765","source":"Crossref","is-referenced-by-count":1,"title":["Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach"],"prefix":"10.1109","author":[{"given":"Franziska","family":"Wiebe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Rosch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Rehberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144856"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.70"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WSCAR.2014.6916809"},{"key":"ref13","article-title":"Code Generator Certification: a Testsuite-Oriented Approach","author":"st\u00fcrmer","year":"2004","journal-title":"Automotive-Safety & Security"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281908"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"ref16","article-title":"Test Generation with Inputs, Outputs and Repetitive Quiescence","author":"tretmans","year":"1996","journal-title":"Software-Concepts and Tools"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386487"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3182\/20100830-3-DE-4013.00033"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"journal-title":"Harro Höfliger Verpackungsmaschinen GmbH","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01238"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294336"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-319-17524-9_10","article-title":"Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems","author":"dreossi","year":"2015","journal-title":"NASA Formal Methods Ser Lecture Notes in Computer Science"},{"key":"ref2","article-title":"Fehlertoleranz und Sicherheit","author":"montenegro","year":"0","journal-title":"GMD FIRST ser Workshop"},{"journal-title":"The Math Works Simulink Design Verifier","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"ref20","article-title":"Model based dependability evaluation for automotive control functions","author":"schlingloff","year":"2005","journal-title":"WMSCI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119280"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2005.1568808"},{"journal-title":"Signals and Systems","year":"2006","author":"chitode","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MoDeVVa.2010.11"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301647"}],"event":{"name":"2016 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2016,8,21]]},"location":"Fort Worth, TX, USA","end":{"date-parts":[[2016,8,25]]}},"container-title":["2016 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7738291\/7743369\/07743479.pdf?arnumber=7743479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:53:22Z","timestamp":1498362802000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7743479\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/coase.2016.7743479","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}