{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:45:58Z","timestamp":1710269158540},"reference-count":29,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.9.2061-2068","type":"journal-article","created":{"date-parts":[[2012,10,4]],"date-time":"2012-10-04T09:49:29Z","timestamp":1349344169000},"source":"Crossref","is-referenced-by-count":8,"title":["Software Reliability Test Based on Markov Usage Model"],"prefix":"10.17706","volume":"7","author":[{"given":"Kuanjiu","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shanbin","family":"Ai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,9,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00110-5"},{"issue":"04","key":"ref2","first-page":"297","article-title":"Ada Software Test Case Generation Tool","volume":"8","author":"Hongyu","year":"1997","unstructured":"[3] Xi Hongyu, Xu Hong, Gao Zhongyi. Ada Software Test Case Generation Tool [J]. Journal of Software, 1997,8(04): 297-302.","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref3","first-page":"11","article-title":"Markov Property of Markov Chains and Its Test [C].","volume-title":"Proceedings of the Ninth International Conference on Machine Learning and Cybernetics","author":"Yufen","year":"2010","unstructured":"[4] Zhang Yufen, Zhang Qunfeng, Yu Ruihua. Markov Property of Markov Chains and Its Test [C]. Proceedings of the Ninth International Conference on Machine Learning and Cybernetics, July 2010, 11-14."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1360\/jos161386"},{"issue":"19","key":"ref6","first-page":"20","article-title":"HeXiaohong. Statistical Software Test Based on Markov Chain Path Usage Model","volume":"32","author":"Haichang","year":"2006","unstructured":"[7] Gao Haichang, Feng Boqin, Zeng Ming, HeXiaohong. Statistical Software Test Based on Markov Chain Path Usage Model [J]. Computer Engineering, 2006, 32(19): 20-22(in Chinese).","journal-title":"Computer Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/GEOINFORMATICS.2010.5567958"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1360\/jos172040"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2009.03314"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1360\/jos181068"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03792"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03521"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2009.03553"},{"issue":"9","key":"ref14","first-page":"1638","article-title":"Analysis on Congestion Control Strategy Based on Time Series Deduction","volume":"30","author":"Libo","year":"2007","unstructured":"[16] Xu Libo, Wu Guoxin. Analysis on Congestion Control Strategy Based on Time Series Deduction [J]. Chinese Journal of Computers, 2007, 30(9): 1638-1644(in Chinese).","journal-title":"Chinese Journal of Computers"},{"key":"ref15","first-page":"1","article-title":"Mark and Yariv Ephraim. On Modeling Network Congestion Using Continuous-time Bivariate Markov Chains [C].","volume-title":"45th Annual Conference on Information Sciences and Systems March","author":"Brian","year":"2011","unstructured":"[17] Brian L. Mark and Yariv Ephraim. On Modeling Network Congestion Using Continuous-time Bivariate Markov Chains [C]. 45th Annual Conference on Information Sciences and Systems March, March 2011, 1-6."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IITA-GRS.2010.5602641"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1360\/crad20070912"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2008.02770"},{"key":"ref19","volume-title":"Yang Xin-gu Birth-and-death process and Markov chains","year":"2005","unstructured":"[21] Wang Zi-kun, Yang Xin-gu. Birth-and-death process and Markov chains. Beijing, Science press, 2005."},{"issue":"4","key":"ref20","first-page":"825","article-title":"A latent variable model for cluster ensemble","volume":"20","author":"Wang","year":"2009","unstructured":"[22] Wang HJ, Li ZS, Cheng Y, Zhou P, Zhou W. A latent variable model for cluster ensemble [J]. Journal of Software, 2009, 20(4): 825\u2212833(in Chinese).","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref21","first-page":"146","article-title":"Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers, In SPIN 2006","volume":"3925","author":"Armando","year":"2006","unstructured":"[25] A. Armando, J. Mantovani and L. Platania, Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers, In SPIN 2006, LNCS 3925, pp. 146-162, 2006.","journal-title":"LNCS"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[1] Prowell SJ. JUMBL: A tool for model-based statistical testing \/\/ Proceedings of the 36th Annual Hawaii International Conference on System Sciences [C].IEEE Computer Society Press, 2003.","DOI":"10.1109\/HICSS.2003.1174916"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[8] Murali Krishna Kadiyala, Dipti Shikha, Ravi Pendse et al. Semi-Markov Process based Model for Performance Analysis of Wireless LANs [C]. Seventh IEEE PerCom Workshop on Pervasive Wireless Networking, March 2011,613-618.","DOI":"10.1109\/PERCOMW.2011.5766962"},{"key":"ref21","unstructured":"[23] M. Watanabe, Extended Hierarchy State Transition Matrix Design Method -Version 2.0 [J], CATS Technical Report, 1998."},{"key":"ref21","unstructured":"[24] M. Matsumoto, K. Anada, D. Ueshima, M. Watanabe, and A. Fukuda, Model Checking of State Transition Matrix[C], In ITSSV 2005, AIST Technical Report AIST-PS-2005-017, pp. 2-11, 2005."},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[26] L. Moura and N. Bj\u00f8rner, Z3: An Efficient SMT Solver [C], In TACAS 2008, LNCS 4963, pp. 337-340, Springer, 2008.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[27] Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, et al. An SMT Approach to Bounded Model Checking of Design in State Transition Matrix [C]. Proceeding ICCSA 2010, IEEE Computer Society Washington, DC, USA, 2010, pp. 231-238.","DOI":"10.1109\/ICCSA.2010.57"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[28] E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs [C], in TACAS, 2004, pp. 168\u2013176.","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"[29] L. Xu, SMT-based bounded model checking for realtime systems [C], in QSIC, 2008, pp. 120\u2013125.","DOI":"10.1109\/QSIC.2008.10"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T11:48:11Z","timestamp":1562240891000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/6520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,1]]},"references-count":29,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2012,9,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.9.2061-2068","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,9,1]]}}}