{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:20:08Z","timestamp":1648819208366},"reference-count":15,"publisher":"International Academy Publishing (IAP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.5.1254-1261","type":"journal-article","created":{"date-parts":[[2013,4,27]],"date-time":"2013-04-27T03:03:54Z","timestamp":1367031834000},"source":"Crossref","is-referenced-by-count":1,"title":["Applying Model Checking to Destructive Testing and Analysis of Software System"],"prefix":"10.17706","volume":"8","author":[{"given":"Hiroki","family":"Kumamoto","sequence":"first","affiliation":[]},{"given":"Takahisa","family":"Mizuno","sequence":"additional","affiliation":[]},{"given":"Kensuke","family":"Narita","sequence":"additional","affiliation":[]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2013,5,1]]},"reference":[{"key":"ref1","volume-title":"The SPIN Model Checker Primer and Reference Manual","author":"Holzmann","year":"2003","unstructured":"[1] G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003."},{"key":"ref2","first-page":"40","article-title":"UPPAAL2k","volume":"70","author":"Pettersson","year":"2000","unstructured":"[2] P. Pettersson and K. G. Larsen, \"UPPAAL2k\", Bulletin of the European Association for Theoretical Computer Science, vol. 70, pp. 40\u201444, 2000.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/356678.356680"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"key":"ref6","volume-title":"G Booch J Rumbaugh and I Jacobson Unified Modeling Language User Guide The","year":"2005","unstructured":"[6] G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, The (2nd Edition). Addison-Wesley, 2005."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-37621-7_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.202.2011.4.202-3068"},{"key":"ref9","volume-title":"Fault Tree Handbook","author":"Vesley","year":"1981","unstructured":"[12] W. E. Vesley, F. F. Goldberg, N. H. Roberts and D. F. Haasl: Fault Tree Handbook, Office of Nuclear Regulatory Research, 1981."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_40"},{"key":"ref11","first-page":"739","article-title":"Formal Fault Tree Semantics","volume-title":"IDPT-2002","author":"Schellhorn","year":"2002","unstructured":"[15] G. Schellhorn, A. Thums, W. Reif, \"Formal Fault Tree Semantics\", in IDPT-2002, Society for Design and Process Science (2002) pp. 739-757."},{"key":"ref11","doi-asserted-by":"crossref","unstructured":"[9] S. Nishizaki and H. Tamano, \"Design of Open Equation Archive Server Resistant Against Denial-of-Service Attacks\", accepted and to appear in the Proceedings of International Conference on Advances in Information Technology and Mobile Communication \u2013 AIM2012.","DOI":"10.1007\/978-3-642-35864-7_9"},{"key":"ref11","doi-asserted-by":"crossref","unstructured":"[10] T. Sasajima and S. Nishizaki, \"Blog-based Distributed Computation \u2013 Implementation of Software Verification System\", accepted and to appear in the Proceedings of the 3rd International Conference on Information Computing and Applications ICICA2012, 2012.","DOI":"10.1007\/978-3-642-34062-8_60"},{"key":"ref11","doi-asserted-by":"crossref","unstructured":"[11] H. Kumamoto, T. Mizuno, K. Narita, S. Nishizaki, \"Destructive testing of software systems by model checking\", In the Proceedings of International Symposium on Communications and Information Technology (ISCIT 2010), IEEE, pp. 26-29, 2010.","DOI":"10.1109\/ISCIT.2010.5664849"},{"key":"ref11","doi-asserted-by":"crossref","unstructured":"[14] S. Nishizaki and T. Ohata \"Real-Time Model Checking for Regulatory Compliance\", accepted and to appear in the Proceedings of International Conference on Advances in Information Technology and Mobile Communication \u2013 AIM2012, 2012.","DOI":"10.1007\/978-3-642-35864-7_10"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T02:04:04Z","timestamp":1562983444000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/8997"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,1]]},"references-count":15,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,5,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.5.1254-1261","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,5,1]]}}}