{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,23]],"date-time":"2024-09-23T03:55:12Z","timestamp":1727063712318},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107430","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-6","source":"Crossref","is-referenced-by-count":10,"title":["Semantic analysis technique of logics retrieval for software testing from specification documents"],"prefix":"10.1109","author":[{"given":"Satoshi","family":"Masuda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Futoshi","family":"Iwama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuhiro","family":"Hosokawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tohru","family":"Matsuodani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiko","family":"Tsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1973","author":"kuno","journal-title":"The Structure of the Japanese Language","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICSE.1989.714394"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1587\/essfr.5.320"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.3115\/1118853.1118869"},{"key":"ref14","first-page":"612","article-title":"Trasnformation logical expression from legal documents which have listing and references","author":"kimura","year":"2008","journal-title":"Assocaiton for natural Language Processing"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-540-74469-6_4"},{"key":"ref16","first-page":"79","article-title":"Standard structure of legal provisions - For the leagal knowledge processing by natural language -","author":"tanaka","year":"1993","journal-title":"Information Processing Society of Japan Natural Language Processing"},{"key":"ref17","article-title":"Legal engineering-an engineering approach to laws in e-society age","author":"katayama","year":"2007","journal-title":"Proc of the 1st International Workshop on JURISIN"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.procs.2013.09.131"},{"key":"ref4","first-page":"397","article-title":"Application of Decision Table to Software Logic with Designing and Testing","author":"matsodani","year":"2012","journal-title":"Reliability Enginerring Association of Japan"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/KES.1999.820241"},{"key":"ref6","first-page":"37","article-title":"Government procurement system and IT system-Who the raised or IT general constructor","author":"kishimoto","year":"2003"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1504\/IJCAT.2013.051388"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.9793\/elsj1984.5.249"},{"year":"1998","journal-title":"Institute of Electrical and Electronics Engineers","article-title":"IEEE Recommended Practice for Software Requirements Specifications","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/QSIC.2007.4385524"},{"year":"1986","journal-title":"Japanese Industrial Standards","article-title":"JIS X 0125-1986 Decision Table","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ICHIT.2008.201"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107430.pdf?arnumber=7107430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:33:42Z","timestamp":1490380422000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107430","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}