{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T22:34:54Z","timestamp":1787697294844,"version":"build-2784847793"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107474","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-7","source":"Crossref","is-referenced-by-count":8,"title":["Automotive system testing by independent guarded assertions"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Gustafsson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mats","family":"Skoglund","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Avenir","family":"Kobetski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Sundmark","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2304510.2304512"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.85"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/AUTEST.2006.283767"},{"key":"ref13","article-title":"Oracles in ttcn-3 and utp","author":"schieferdecker","year":"0"},{"key":"ref14","first-page":"761","article-title":"Guarded command","author":"wagener","year":"0","journal-title":"Encyclopedia of Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1079"},{"key":"ref3","first-page":"210","article-title":"Positive test bias in software testing among professionals: A review","author":"leventhal","year":"0","journal-title":"Selected papers from the Third International Conference on Human-Computer Interaction ser EWHCI '93"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.084"},{"key":"ref5","article-title":"Effects of negative testing on tdd: An industrial experiment","author":"causevic","year":"2013","journal-title":"International Conference on Agile Software Development"},{"key":"ref8","first-page":"2601","article-title":"Test methods of the autosar application software components","author":"park","year":"2009","journal-title":"ICCAS-SICE 2009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref1","author":"young","year":"2005","journal-title":"Software Testing and Analysis Process Principles and Techniques"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.98"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107474.pdf?arnumber=7107474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T14:33:42Z","timestamp":1490366022000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107474","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}