{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:28:19Z","timestamp":1725575299669},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/tefse.2013.6620149","type":"proceedings-article","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T02:59:39Z","timestamp":1381546779000},"page":"19-22","source":"Crossref","is-referenced-by-count":4,"title":["Using traceability links to identifying potentially erroneous artifacts during regulatory reviews"],"prefix":"10.1109","author":[{"given":"Wuwei","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Ling","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrian","family":"Marcus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/MoDRE.2011.6045368"},{"key":"17","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-642-28714-5_16","article-title":"Trace queries for safety requirements in high assurance systems","author":"cleland-huang","year":"2012","journal-title":"18th International Conference on Requirements Engineering Foundation for Software Quality"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-642-16145-2_16"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/MC.2006.113"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/1806799.1806825"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/505145.505149"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1177\/193229681100500612"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1017\/CBO9780511624162"},{"key":"12","article-title":"A specification language","author":"abrial","year":"1980","journal-title":"On the Construction of Programs"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/RE.2006.68"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/TEFSE.2009.5069581"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/TSE.2007.70746"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/RePa.2012.6359966"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/RE.2010.42"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1145\/1810295.1810334"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/S0164-1212(03)00242-5"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TEFSE.2009.5069584"},{"key":"10","first-page":"9","article-title":"Evolving algebras 1993: Lipari guide","author":"gurevich","year":"1995","journal-title":"Specification and Validation Methods Egon Bo?rger"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/978-3-642-12578-2"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/TEFSE.2009.5069582"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/IWPSE.2004.1334768"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1276933.1276934"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ASE.2002.1115010"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1162\/jmlr.2003.3.4-5.993"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1145\/361219.361220"}],"event":{"name":"2013 International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)","start":{"date-parts":[[2013,5,19]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6598366\/6620141\/06620149.pdf?arnumber=6620149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:45:46Z","timestamp":1498088746000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6620149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/tefse.2013.6620149","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}