{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:25:57Z","timestamp":1725596757660},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1109\/codit.2019.8820518","type":"proceedings-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:09:32Z","timestamp":1567472972000},"page":"818-823","source":"Crossref","is-referenced-by-count":0,"title":["A theoretical framework for testing cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Puneet","family":"Bhateja","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Black-box conformance testing for realtime systems","author":"krichen","year":"2004","journal-title":"11th International SPIN Workshop"},{"key":"ref11","article-title":"Conformance testing of cyber-physical systems: A comparative study","author":"mohaqeqi","year":"2014","journal-title":"Electronic Communication of the European Association of Software Science and Technology"},{"journal-title":"A Formal Approach to Conformance Testing","year":"1992","author":"tretmans","key":"ref12"},{"key":"ref13","first-page":"31","article-title":"Torx: Automated model-based testing","author":"tretmans","year":"2003","journal-title":"1st European Conference on Model-Driven Software Engineering"},{"key":"ref14","first-page":"278","article-title":"The linear time-branching time spectrum (extended abstract)","author":"van glabbeek","year":"0","journal-title":"CONCUR"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_5"},{"key":"ref4","first-page":"201","article-title":"Test derivation from timed automata","author":"briones","year":"2004","journal-title":"Model-Based Testing of Reactive Systems"},{"journal-title":"A theory for the derivation of tests","year":"1988","author":"brinksma","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"ref8","article-title":"TGV: theory, principles and algorithms","author":"jard","year":"2002","journal-title":"Proc 6th World Conf Integrated Design and Process Technology"},{"key":"ref7","article-title":"Time-optimal real-time test case generation using UPPAL","author":"hessel","year":"2003","journal-title":"Formal Approaches to Software Testing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref1","article-title":"Conformance testing as falsification for cyber-physical systems","author":"abbas","year":"2014","journal-title":"ACM\/IEEE Int Conf on Cyber-Physical Systems ICCPS"},{"key":"ref9","article-title":"Test cases generation for nondeterministic real-time systems","author":"khoumsi","year":"2003","journal-title":"Formal Approaches to Software Testing"}],"event":{"name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2019,4,23]]},"location":"Paris, France","end":{"date-parts":[[2019,4,26]]}},"container-title":["2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8806019\/8820291\/08820518.pdf?arnumber=8820518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:24:27Z","timestamp":1658262267000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8820518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/codit.2019.8820518","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}