{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T17:28:08Z","timestamp":1768411688795,"version":"3.49.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/idaacs.2013.6662704","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:53:59Z","timestamp":1385589239000},"page":"349-352","source":"Crossref","is-referenced-by-count":6,"title":["Automation of automotive integration testing process"],"prefix":"10.1109","author":[{"given":"Jan","family":"Sobotka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiri","family":"Novak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2005.1528927"},{"key":"2","author":"conrad","year":"2008","journal-title":"Testing Automotive Control Software Automotive Embedded Systems Handbook"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849725"},{"key":"7","article-title":"Abstract state machines, theory and applications","year":"2000","journal-title":"ASM 2000 Workshop"},{"key":"6","first-page":"125","article-title":"Uppaal 4.0","author":"behrmann","year":"2006","journal-title":"Third International Conference on the Quantitative Evaluation of Systems QEST 2006"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_21"},{"key":"4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/11498490_18","article-title":"14 tools for test case generation","author":"belinfante","year":"2005","journal-title":"Model-Based Testing of Reactive Systems"},{"key":"8","author":"hessel","year":"0","journal-title":"CoVer - A Test Case Generation Tool for Real-time Systems"}],"event":{"name":"2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","location":"Berlin, Germany","start":{"date-parts":[[2013,9,12]]},"end":{"date-parts":[[2013,9,14]]}},"container-title":["2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6653329\/6662618\/06662704.pdf?arnumber=6662704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:16:40Z","timestamp":1498101400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6662704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2013.6662704","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}