{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:29:29Z","timestamp":1730291369878,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/qsic.2004.1357941","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T04:34:02Z","timestamp":1103776442000},"page":"22-31","source":"Crossref","is-referenced-by-count":0,"title":["Automatic generation of Markov chain usage models from real-time software UML models"],"prefix":"10.1109","author":[{"family":"Jiong Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ji Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Huo-wang Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319120"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"},{"key":"15","first-page":"394","article-title":"UML-based statistical test case generation","volume":"2591","author":"riebisch","year":"2003","journal-title":"LNCS"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"16"},{"journal-title":"Cleanroom Software Engineering Technology and Process","year":"1999","author":"prowell","key":"13"},{"journal-title":"Response to the OMG RFP for schedulability performance and time","year":"2001","key":"14"},{"journal-title":"Message Sequence Charts","year":"1996","key":"11"},{"key":"12","first-page":"661","article-title":"Timing Analysis of UML Sequence Diagrams","volume":"1723","author":"li","year":"1999","journal-title":"LNCS"},{"key":"3","first-page":"35","article-title":"An analyzer for message sequence charts","volume":"1055","author":"alur","year":"1996","journal-title":"LNCS"},{"key":"2","first-page":"383","article-title":"Using UML collaboration diagrams for static checking and test generation","volume":"1939","author":"abdurazik","year":"2000","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"10","first-page":"293","article-title":"LSCs: Breathing life into message sequence charts","author":"harel","year":"1999","journal-title":"Proceedings of the 3th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-002-8208-5"},{"journal-title":"Testing Object-Oriented Systems","year":"1999","author":"binder","key":"6"},{"key":"5","first-page":"20","article-title":"A practical approach to UML-based derivation of integration tests","author":"basanieri","year":"2000","journal-title":"Proceedings of the 4th International Software Quality Week Europe"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870421"},{"journal-title":"Real-Time UML","year":"2000","author":"douglass","key":"9"},{"journal-title":"Object-Oriented Software Engineering Conquering Complex and Changing Systems","year":"2000","author":"bruegge","key":"8"}],"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\/01357941.pdf?arnumber=1357941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T23:51:05Z","timestamp":1489535465000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357941\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/qsic.2004.1357941","relation":{},"subject":[]}}