{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T21:39:13Z","timestamp":1648503553282},"reference-count":14,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2015]]},"DOI":"10.1587\/transinf.2014fop0012","type":"journal-article","created":{"date-parts":[[2015,5,31]],"date-time":"2015-05-31T22:10:12Z","timestamp":1433110212000},"page":"1150-1160","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction"],"prefix":"10.1587","volume":"E98.D","author":[{"given":"Hideto","family":"OGAWA","sequence":"first","affiliation":[{"name":"Research & Development Group, Center for Technology Innovation - Systems Engineering, Hitachi, Ltd."}]},{"given":"Makoto","family":"ICHII","sequence":"additional","affiliation":[{"name":"Research & Development Group, Center for Technology Innovation - Systems Engineering, Hitachi, Ltd."}]},{"given":"Tomoyuki","family":"MYOJIN","sequence":"additional","affiliation":[{"name":"Research & Development Group, Center for Technology Innovation - Systems Engineering, Hitachi, Ltd."}]},{"given":"Masaki","family":"CHIKAHISA","sequence":"additional","affiliation":[{"name":"Research & Development Group, Center for Technology Innovation - Systems Engineering, Hitachi, Ltd."}]},{"given":"Yuichiro","family":"NAKAGAWA","sequence":"additional","affiliation":[{"name":"Research & Development Group, Center for Technology Innovation - Systems Engineering, Hitachi, Ltd."}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] H. Ogawa, M. Ichii, F. Kumeno, and T. Aoki, \u201cA practical study of debugging using model checking,\u201d Proc. Asia-Pacific Software Engineering Conf. (APSEC), pp.134-139, 2013.","DOI":"10.1109\/APSEC.2013.128"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] M. Ichii, T. Myojin, Y. Nakagawa, M. Chikahisa, and H. Ogawa, \u201cA rule-based automated approach for extracting models from source code,\u201d Proc. Working Conf. on Reverse Engineering (WCRE), pp.308-317, 2012.","DOI":"10.1109\/WCRE.2012.40"},{"key":"3","unstructured":"[3] G.J. Holzmann, The spin model checker: Primer and reference manual, ISBN: 0-321-22862-6, 2004."},{"key":"4","unstructured":"[4] R.C. Gronback, Eclipse modeling project: A domain-specific language (DSL) toolkit, Pearson Education, 2009."},{"key":"5","unstructured":"[5] ISO\/IEC\/IEEE, ISO\/IEC\/IEEE24765: 2010 Systems and software engineering-Vocabulary, 2010."},{"key":"6","unstructured":"[6] Object Management Group, \u201cMeta object facility (MOF) core specification.\u201d [Online]. Available: http:\/\/www.omg.org\/spec\/MOF\/2.0\/PDF, 2006."},{"key":"7","unstructured":"[7] Object Management Group, \u201cMeta object facility (MOF) 2.0 query\/view\/transformation.\u201d [Online]. Available: http:\/\/www.omg.org\/spec\/QVT\/1.0\/PDF, 2008."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] D. Binkley, \u201cSource code analysis: A road map,\u201d in Future of Software Engineering, pp.104-119, IEEE Computer Society, 2007.","DOI":"10.1109\/FOSE.2007.27"},{"key":"9","unstructured":"[9] D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: Eclipse Modeling Framework, Pearson Education, 2008."},{"key":"10","unstructured":"[10] Object Management Group, \u201cMOF model to text transformation language, v1.0.\u201d [Online]. Available: http:\/\/www.omg.org\/spec\/MOFM2T\/1.0\/PDF, 2008."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] H. Ogawa, F. Kumeno, and S. Honiden, \u201cModel checking process with goal oriented requirements analysis,\u201d Proc. Asia-Pacific Software Engineering Conf. (APSEC), pp.377-384, 2008.","DOI":"10.1109\/APSEC.2008.71"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] G.J. Holzmann and M.H. Smith, \u201cAn automated verification method for distributed systems software based on model extraction,\u201d IEEE Trans. Softw. Eng., vol.28, no.4, pp.364-377, 2002.","DOI":"10.1109\/TSE.2002.995426"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] J.C. Corbett, M.B. Dwyer, J. Hatcliff, S. Laubach, C.S. Pasareanu, Robby, and H. Zheng, \u201cBandera: Extracting finite-state models from java source code,\u201d Proc. Int. Conf. on Software Engineering (ICSE), pp.439-448, 2000.","DOI":"10.1145\/337180.337234"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] K. Androutsopoulos, D. Binkley, D. Clark, N. Gold, M. Harman, K. Lano, and Z. Li, \u201cModel projection: simplifying models in response to restricting the environment,\u201d Proc. Int. Conf. on Software Engineering (ICSE), pp.291-300, 2011.","DOI":"10.1145\/1985793.1985834"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/6\/E98.D_2014FOP0012\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T22:06:38Z","timestamp":1566770798000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/6\/E98.D_2014FOP0012\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2014fop0012","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}