{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,17]],"date-time":"2024-08-17T09:07:24Z","timestamp":1723885644456},"reference-count":14,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2020,1,1]]},"DOI":"10.1587\/transinf.2019edl8149","type":"journal-article","created":{"date-parts":[[2019,12,31]],"date-time":"2019-12-31T22:06:44Z","timestamp":1577830004000},"page":"170-173","source":"Crossref","is-referenced-by-count":3,"title":["A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment"],"prefix":"10.1587","volume":"E103.D","author":[{"given":"Sooyong","family":"JEONG","sequence":"first","affiliation":[{"name":"Kyungpook National University"}]},{"given":"Ajay Kumar","family":"JHA","sequence":"additional","affiliation":[{"name":"Kyungpook National University"}]},{"given":"Youngsul","family":"SHIN","sequence":"additional","affiliation":[{"name":"Kyungpook National University"}]},{"given":"Woo Jin","family":"LEE","sequence":"additional","affiliation":[{"name":"Kyungpook National University"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] C. Ebert and C. Jones, \u201cEmbedded software: Facts, figures, and future,\u201d Computer, vol.42, no.4, pp.42-52, June 2009. 10.1109\/mc.2009.118","DOI":"10.1109\/MC.2009.118"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Y. Shinyashiki, T. Mise, M. Hashimoto, K. Katamine, N. Ubayashi, and T. Nakatani, \u201cEnhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software,\u201d Proc. 14th APSEC, Nagoya, Japan, pp.327-333, Dec. 2007. 10.1109\/apsec.2007.49","DOI":"10.1109\/ASPEC.2007.81"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] K.D. M\u00fcller-Glaser, G. Friek, E. Sax, and M.K. K\u00fchl, \u201cMultiparadigm modeling in embedded systems design,\u201d IEEE Trans. Control Syst. Technol., vol.12, no.2, March 2004.","DOI":"10.1109\/TCST.2004.824340"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] G. Karsai, S. Neema, and D. Sharp, \u201cModel-driven architecture for embedded software: A synopsis and an example,\u201d Sci. Comput. Program., vol.73, no.1, pp.26-38, June 2008. 10.1016\/j.scico.2008.05.006","DOI":"10.1016\/j.scico.2008.05.006"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] F. Siavashi and D. Truscan, \u201cEnvironment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges,\u201d Proc. 19th International Conference on Evaluation and Assessment in Software Engineering, pp.30-35, Nanjing, China, April 2015. 10.1145\/2745802.2745830","DOI":"10.1145\/2745802.2745830"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] M.Z. Iqbal, A. Arcuri, and L. Briand, \u201cEnvironment modeling and simulation for automated testing of soft real-time embedded software,\u201d Softw. Syst. Model, vol.14, no.1 pp.483-524, Feb. 2015. 10.1007\/s10270-013-0328-6","DOI":"10.1007\/s10270-013-0328-6"},{"key":"7","unstructured":"[7] OMG Unified Modeling Language Specification, \u201chttps:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF\u201d, accessed July 3. 2019."},{"key":"8","unstructured":"[8] T. Schattkowsky and W. M\u00fcller, \u201cModel-Based Design of Embedded Systems,\u201d Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Vienna,Austria, pp.113-128, May 2004. 10.1109\/isorc.2004.1300337"},{"key":"9","unstructured":"[9] M.U. Khan, K. Geihs, F. Gutbrodt, P. Gohner, and R. Trauter, \u201cModel-driven development of real-time systems with UML 2.0 and C,\u201d 4th Workshop on Model-Based Development of Computer-Based Systems and 3rd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06), IEEE, 2006."},{"key":"10","unstructured":"[10] A.V. Oppenheim and R.W. Schaffer, Discrete-Time Signal Processing, Pearson, London, 2009."},{"key":"11","unstructured":"[11] Gyroscope Explorer\/Commit [4359bd]https:\/\/github.com\/KalebKE\/GyroscopeExplorer\/commit\/4359bd54d0022cc7f5049ed9f06c1d0a636bbf06, accessed July 29, 2019."},{"key":"12","unstructured":"[12] SensorManager | Android Developers, https:\/\/developer.android.com\/reference\/android\/hardware\/SensorManager.html, accessed July 25, 2019."},{"key":"13","unstructured":"[13] AndroSensor, http:\/\/www.fivasim.com\/androsensor.html, accessed Aug. 2, 2019."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] S. Pradhan, M. Ray, and S.K. Swain, \u201cTransition coverage based test case generation from state chart diagram,\u201d Journal of King Saud University-Computer and Information Sciences, 2019. DOI:10.1016\/j.jksuci.2019.05.005 10.1016\/j.jksuci.2019.05.005","DOI":"10.1016\/j.jksuci.2019.05.005"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/1\/E103.D_2019EDL8149\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,6]],"date-time":"2020-01-06T05:20:19Z","timestamp":1578288019000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/1\/E103.D_2019EDL8149\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2019edl8149","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,1]]}}}