{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:16:02Z","timestamp":1725657362139},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/idaacs.2017.8095175","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T16:03:52Z","timestamp":1511885032000},"page":"668-673","source":"Crossref","is-referenced-by-count":2,"title":["Model-based testing of automotive distributed systems with automated prioritization"],"prefix":"10.1109","author":[{"given":"Lukas","family":"Krejci","sequence":"first","affiliation":[]},{"given":"Jiri","family":"Novak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-396535-6.00004-1"},{"journal-title":"MaTeLo","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.169"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994018"},{"journal-title":"Perceptrons An Introduction to Computational Geometry","year":"1969","author":"minsky","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.11"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"journal-title":"Testing Automotive Reactive Systems using Timed Automata","year":"2017","author":"sobotka","key":"ref2"},{"journal-title":"Implementation of Integration Testing Test Cases Generation Tool","year":"2014","author":"grus","key":"ref1"},{"key":"ref9","article-title":"Risk-based statistical testing: a refinement-based approach to the reliability analysis of safety-critical systems","author":"zimmermann","year":"2009","journal-title":"12th European Workshop on Dependable Computing (EWDC 2009)"}],"event":{"name":"2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","start":{"date-parts":[[2017,9,21]]},"location":"Bucharest","end":{"date-parts":[[2017,9,23]]}},"container-title":["2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8086093\/8095027\/08095175.pdf?arnumber=8095175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T23:29:57Z","timestamp":1512689397000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8095175\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2017.8095175","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}