{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:55Z","timestamp":1725489535315},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319083","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T14:25:04Z","timestamp":1113315904000},"page":"32-39","source":"Crossref","is-referenced-by-count":0,"title":["How to test software for optimal software reliability assessment"],"prefix":"10.1109","author":[{"family":"Kai-Yuan Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yong-Chao Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ke Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Finite State Markovian Decision Processes","year":"1970","author":"derman","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0729-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8714-3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232177"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(91)90009-V"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1142\/1390","author":"xie","year":"1991","journal-title":"Software Reliability Modeling"},{"journal-title":"Handbook of Software Reliability Engineering","year":"1996","author":"lyu","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(78)91139-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/24.376528"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341373"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1360\/02yf0168"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00108-8"},{"key":"ref6","article-title":"On the Concepts of Total Systems, Total Dependability and Software Cybernetics","author":"cai","year":"1994","journal-title":"(unpublished manuscript) Centre for Software Reliability July 1995"},{"key":"ref5","article-title":"A Case Study of Adaptive Software Testing","author":"cai","year":"2003","journal-title":"Working Paper"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5593-3"},{"key":"ref7","article-title":"Towards Research on Software Cybernetics","author":"cai","year":"2002","journal-title":"Proc 7th IEEE Int Symp High Assurance Syst Eng"},{"key":"ref2","first-page":"157","article-title":"Optimal Test Profile in the Context of Software Cybernetics","author":"cai","year":"2001","journal-title":"Proc Asia Pacific Conference on Quality Software"},{"key":"ref1","article-title":"A Controlled Markov Chains Approach to Software Testing","author":"cai","year":"2000","journal-title":"Working Paper"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00018-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.707695"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319083.pdf?arnumber=1319083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T13:58:44Z","timestamp":1549893524000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319083","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}