{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:59Z","timestamp":1772532959551,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319759272","type":"print"},{"value":"9783319759289","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75928-9_44","type":"book-chapter","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T07:14:14Z","timestamp":1519370054000},"page":"492-503","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Test Case Generation Method for Large Scale Communication Node Software"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Kikuma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Yamada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyoshi","family":"Ueda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Fukuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,24]]},"reference":[{"key":"44_CR1","unstructured":"White Paper on Information and Communications in Japan. Economic Research Office, ICT Strategy Policy Division, Global ICT Strategy Bureau, Ministry of Internal Affairs and Communications, Japan (2017). \nhttp:\/\/www.soumu.go.jp\/johotsusintokei\/whitepaper\/eng\/WP2016\/2016-index.html"},{"key":"44_CR2","unstructured":"Cisco Systems Inc.: Cisco Visual Networking Index: Forecast and Methodology, 2015\u20132020 (2016). \nhttp:\/\/www.cisco.com\/c\/en\/us\/solutions\/collateral\/service-provider\/visual-networking-index-vni\/complete-white-paper-c11-481360.pdf"},{"key":"44_CR3","unstructured":"ITU-T Recommendation Y.2012: Functional requirements and architecture of the NGN release 1. Telecommunication Standardization Sector of ITU (2007). \nhttps:\/\/www.itu.int\/rec\/T-REC-Y.2012-200609-S\/en"},{"key":"44_CR4","unstructured":"Boehm, B.W.: Guidelines for verifying and validating software requirements and design specifications. In: Proceedings of EURO IFIP 79, London, pp. 711\u2013719 (1979)"},{"key":"44_CR5","unstructured":"Bundesrepublok Deutschland: V-Model XT, Version 1.1.0 (2004). \nhttp:\/\/ftp.uni-kl.de\/pub\/v-modell-xt\/Release-1.1-eng\/Dokumentation\/pdf\/V-Modell-XT-eng-Teil1.pdf"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programing Language Design and Implementation (PLADI2005), pp. 213\u2013223 (2005)","DOI":"10.1145\/1065010.1065036"},{"issue":"3","key":"44_CR7","first-page":"1164","volume":"2","author":"M Khandai","year":"2011","unstructured":"Khandai, M., Acharya, A.A., Mohapatra, D.P.: A survey on test case generation from UML model. Int. J. Comput. Sci. Inf. Technol. (IJCSIT) 2(3), 1164\u20131171 (2011)","journal-title":"Int. J. Comput. Sci. Inf. Technol. (IJCSIT)"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Masuda, S., Hosokawa, N., Iwama, F., Matsuodani, T., Tsuda, K.: Semantic analysis technique of logics retrieval for software testing from specification documents. In: IEEE Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u20136 (2015)","DOI":"10.1109\/ICSTW.2015.7107430"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Masuda, S., Matsuodani, T., Tsuda, K.: Detecting logical inconsistencies by clustering technique in natural language requirements. IEICE Trans. Inf. Syst. E99-D(9), 2010\u20132018 (2016)","DOI":"10.1587\/transinf.2015KBP0005"},{"key":"44_CR10","unstructured":"ISO\/IEC\/IEEE JTC 1\/SC7: Software and system engineering - software testing - part 4 Test techniques. ISO\/IEC\/IEEE JTC 1\/SC 7, pp. 70\u201372 (2015)"},{"key":"44_CR11","unstructured":"MeCab: Yet Another Part-of-Speech and Morphological Analyzer (2013). \nhttps:\/\/github.com\/jordwest\/mecab-docs-en"},{"key":"44_CR12","unstructured":"CRF++: Yet Another CRF toolkit (2013). \nhttp:\/\/taku910.github.io\/crfpp\/#source"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Advances in Internet, Data & Web Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75928-9_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T07:32:10Z","timestamp":1519371130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75928-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319759272","9783319759289"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75928-9_44","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"value":"2367-4512","type":"print"},{"value":"2367-4520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}