{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:45:00Z","timestamp":1725421500709},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2003.1254396","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"406-414","source":"Crossref","is-referenced-by-count":2,"title":["Automated test generation from object-oriented specifications of real-time reactive systems"],"prefix":"10.1109","author":[{"given":"V.S.","family":"Alagar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Ormandjieva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Deriving New Measurements for Real-Time Reactive Systems","year":"2002","author":"ormandjieva","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.210"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"journal-title":"Testing Timed Automata","year":"1997","author":"springintveld","key":"ref14"},{"journal-title":"Automated Test Generation from Formal Specifications of Real-Time Reactive Systems","year":"2002","author":"zheng","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319080"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049402"},{"journal-title":"Specification and Verification of Object-Oriented Programs","year":"1994","author":"kirani","key":"ref8"},{"journal-title":"Formal Methods for Real-Time Computing","year":"1996","author":"heitmeyer","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991479"},{"article-title":"TROMLAB: A Software Development Environment for Real-Time Reactive Systems","year":"1996","author":"alagar","key":"ref1"},{"journal-title":"Real-Time Reactive System Development- A Formal Approach Based on UML and PVS","year":"2000","author":"muthiayen","key":"ref9"}],"event":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","location":"Chiang Mai, Thailand"},"container-title":["Tenth Asia-Pacific Software Engineering Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8883\/28061\/01254396.pdf?arnumber=1254396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:34:50Z","timestamp":1489437290000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254396\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/apsec.2003.1254396","relation":{},"subject":[]}}