{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:56Z","timestamp":1725558596416},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241287"},{"type":"electronic","value":"9783540305668"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30566-8_52","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T21:07:43Z","timestamp":1278104863000},"page":"433-445","source":"Crossref","is-referenced-by-count":1,"title":["UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software"],"prefix":"10.1007","author":[{"given":"Jiong","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huo-wang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems. Addison-Wesley, Reading (1999)"},{"key":"52_CR2","volume-title":"Object-Oriented Software Engineering: Conquering Complex and Changing Systems","author":"B. Bruegge","year":"2000","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering: Conquering Complex and Changing Systems. Prentice-Hall, Englewood Cliffs (2000)"},{"issue":"1","key":"52_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/32.210303","volume":"19","author":"R.W. Butler","year":"1993","unstructured":"Butler, R.W., Finelli, G.B.: The Infeasibility of Quantifying the Reliability of Life-critical Real-time Software. IEEE Transactions on Software Engineering\u00a019(1), 3\u201312 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"52_CR4","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R.C. Cheung","year":"1980","unstructured":"Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering\u00a06(2), 118\u2013125 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: Proc. Of the Third International Workshop on Software and Performance (WOSP 2002), Rome, pp. 302\u2013309 (2002)","key":"52_CR5","DOI":"10.1145\/584369.584415"},{"issue":"4","key":"52_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0166-5316(99)00052-8","volume":"40","author":"W.J. Gutjahr","year":"2000","unstructured":"Gutjahr, W.J.: Software dependability evaluation based on Markov usage models. Performance Evaluation\u00a040(4), 199\u2013222 (2000)","journal-title":"Performance Evaluation"},{"key":"52_CR7","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jcobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"issue":"4598","key":"52_CR8","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatric","year":"1983","unstructured":"Kirkpatric, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"doi-asserted-by":"crossref","unstructured":"Krishnamurthy, S., Mathur, A.P.: On the Estimation of Reliability of a Software System Using Reliabilities of its Components. In: Proc. Of the eighth International. Symposium of Software Reliability Engineering (ISSRE 1997), pp. 146\u2013155 (1997)","key":"52_CR9","DOI":"10.1109\/ISSRE.1997.630860"},{"issue":"1","key":"52_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/32.120314","volume":"18","author":"K.W. Miller","year":"1992","unstructured":"Miller, K.W.: Estimating the Probability of Failure when Testing Reveals No Failures. IEEE Transactions on Software Engineering\u00a018(1), 33\u201341 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"52_CR11","volume-title":"Cleanroom Software Engineering: Technology and Process","author":"S.J. Prowell","year":"1999","unstructured":"Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering: Technology and Process. Addison-Wesley, Reading (1999)"},{"issue":"5","key":"52_CR12","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1109\/49.585771","volume":"15","author":"P.J. Smith","year":"1997","unstructured":"Smith, P.J., Shafi, H., Gao, H.: Quick simulation: a review of importance sampling techniques in communication systems. IEEE Journal on Selected Areas in Communications\u00a015(5), 597\u2013613 (1997)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"doi-asserted-by":"crossref","unstructured":"Yacoub, S., Cukic, B., Ammar, H.: Scenario-Based Reliability Analysis of Component-Based Software. In: Proc. of the 10th International Symposium of Software Reliability Engineering (ISSRE 1999), pp. 22\u201331 (1999)","key":"52_CR13","DOI":"10.1109\/ISSRE.1999.809307"},{"unstructured":"Yan, J., Wang, J., Chen, H.W.: Automatic Generation of Markov Chain Usage Models from Real-time Software UML Models. In: Proc of 4th International Conference On Quality Software (QSIC 2004), Braunschweig, Germany, pp. 22\u201331 (2004)","key":"52_CR14"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30566-8_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:30:28Z","timestamp":1620012628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30566-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540241287","9783540305668"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30566-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}