{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:25:55Z","timestamp":1729657555749,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/qsic.2004.1357969","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T04:34:02Z","timestamp":1103776442000},"page":"268-273","source":"Crossref","is-referenced-by-count":9,"title":["A test case generation algorithm for real-time systems"],"prefix":"10.1109","author":[{"given":"A.","family":"Hessel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"174","article-title":"Efficient guiding towards cost-Optimality in UPPAAL","author":"behrmann","year":"2001","journal-title":"Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.3.2.149"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641265"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","first-page":"136","article-title":"Time-optimal real-time test case generation using UPPAAL","author":"hessel","year":"2003","journal-title":"Proceedings of the International Workshop on Formal Approaches to Testing of Software"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"5","first-page":"197","article-title":"Timing assumptions and verification of finite-state concurrent systems","author":"dill","year":"1989","journal-title":"Proc Workshop Automatic Verification Methods Finite State Syst"},{"key":"4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-61474-5_73","article-title":"Verification of an audio protocol with bus collision using UPPAAL","author":"bengtsson","year":"1996","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"9","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"8","first-page":"575","article-title":"Diagnostic model-checking for real-time systems","author":"larsen","year":"1995","journal-title":"Proc Workshop Hybrid Systems III Verification and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"}],"event":{"name":"Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings.","location":"Braunschweig, Germany"},"container-title":["Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9385\/29795\/01357969.pdf?arnumber=1357969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T05:05:28Z","timestamp":1546578328000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357969\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/qsic.2004.1357969","relation":{},"subject":[]}}