{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:38:05Z","timestamp":1729633085223,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/idaacs.2017.8095133","type":"proceedings-article","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T21:36:46Z","timestamp":1510004206000},"page":"510-513","source":"Crossref","is-referenced-by-count":2,"title":["Testing automotive reactive systems using timed automata"],"prefix":"10.1109","author":[{"given":"Jan","family":"Sobotka","sequence":"first","affiliation":[]},{"given":"Jiri","family":"Novak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"UPPAAL TRON testing real time systems ONline","year":"0","author":"larsen","key":"ref4"},{"key":"ref3","article-title":"CoVer-a real-time test case generation tool","author":"hessel","year":"2007","journal-title":"Proceedings of the 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software"},{"journal-title":"The Shunting-Yard Algorithm","year":"0","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"journal-title":"UPPAAL 4 0 Small tutorial","year":"2009","author":"team","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","volume":"3098","author":"bengtsson","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2013.05.001"},{"journal-title":"Implementation of Integration Testing Test Cases Generation Tool","year":"2014","author":"grus","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2013.6662704"}],"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, Romania","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\/8094488\/08095133.pdf?arnumber=8095133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T18:19:21Z","timestamp":1570299561000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8095133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2017.8095133","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}