{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:31:30Z","timestamp":1730280690457,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/latw.2011.5985928","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T15:29:25Z","timestamp":1313508565000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Automated testing of embedded automotive systems from requirement specification models"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Siegl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai-Steffen","family":"Hielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Berger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1321211.1321257"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250106"},{"key":"ref13","article-title":"Medical devices: The therac-25","author":"leveson","year":"1995","journal-title":"Safeware System Safety and Computers"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2005.663"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2002.1173212"},{"key":"ref16","first-page":"202","article-title":"Model driven testing with time augmented markov chain usage models - computations and test case generation algorithms for time augmented markov chain usage models","author":"siegl","year":"2009","journal-title":"ICSOFT"},{"journal-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","year":"2000","author":"german","key":"ref17"},{"journal-title":"Handbuch Automatische Testfallgenerierung aus Benutzungsmodellen INI FAU 85057 Ingolstadt Germany","year":"2010","author":"siegl","key":"ref18"},{"year":"2010","key":"ref19"},{"journal-title":"Test-driven Development","year":"2003","author":"beck","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763028"},{"journal-title":"System","year":"2010","key":"ref6"},{"journal-title":"slunit","year":"2010","author":"dohmke","key":"ref5"},{"key":"ref8","first-page":"87","article-title":"Aquivalenzklassen mit zeit und zustanden","volume":"s 8","author":"loser","year":"2009","journal-title":"Informatiktage ser LNI"},{"key":"ref7","article-title":"Test Case Design by Means of the CTE XL","author":"lehmann","year":"0","journal-title":"8th European International Conference on Software Testing Analysis and Review (EuroSTAR)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482341"},{"volume":"26262","journal-title":"Draft International Standard Road Vehicles - Functional Safety","year":"2009","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC-7.2008.24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370190"},{"journal-title":"The V-Model","year":"2005","key":"ref21"}],"event":{"name":"2011 12th Latin American Test Workshop - LATW","start":{"date-parts":[[2011,3,27]]},"location":"Beach of Porto de Galinhas, Brazil","end":{"date-parts":[[2011,3,30]]}},"container-title":["2011 12th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5978853\/5985882\/05985928.pdf?arnumber=5985928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T07:29:46Z","timestamp":1490081386000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5985928\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/latw.2011.5985928","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}