{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T10:21:14Z","timestamp":1783938074735,"version":"3.55.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/tefse.2013.6620148","type":"proceedings-article","created":{"date-parts":[[2013,10,11]],"date-time":"2013-10-11T22:59:39Z","timestamp":1381532379000},"page":"12-18","source":"Crossref","is-referenced-by-count":5,"title":["Getting more from requirements traceability: Requirements testing progress"],"prefix":"10.1109","author":[{"given":"Celal","family":"Ziftci","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ingolf","family":"Kruger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","year":"1992","journal-title":"RTCA\/DO-178B Software considerations in airborne systems and equipment certification"},{"key":"17","author":"ebert","year":"2007","journal-title":"Software Measurement Establish - Extract - Evaluate - Execute"},{"key":"18","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/366246.366248","article-title":"Systematic mistake analysis of digital computer programs","volume":"6","author":"miller","year":"1963","journal-title":"Communications of the ACM"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2006.13"},{"key":"16","author":"kan","year":"2002","journal-title":"Metrics and Models in Software Quality Engineering"},{"key":"13","article-title":"IETF RFC 2119: Key words for use in RFCs to indicate requirement levels. 1999","author":"bradner","year":"1997","journal-title":"Internet Engineering Task Force"},{"key":"14","author":"leffingwell","year":"1999","journal-title":"Managing Software Requirements A Unified Approach"},{"key":"11","first-page":"51","article-title":"Introduction to data mining","volume":"19","author":"tan","year":"2005","journal-title":"The journal of school Psychology"},{"key":"12","first-page":"136","article-title":"Metric spaces, generalised logic, and closed categories","volume":"43","author":"lawvere","year":"1973","journal-title":"Milan Journal of Mathematics"},{"key":"21","article-title":"IEEE recommended practice for software requirements specifications","volume":"1998","year":"1998","journal-title":"IEEE Std 8301998"},{"key":"20","first-page":"404","author":"sommerville","year":"1997","journal-title":"Requirements Engineering A Good Practice Guide"},{"key":"22","author":"clegg","year":"1994","journal-title":"Case Method Fast-Track A RAD Approach"},{"key":"23","first-page":"39","article-title":"Attractive quality and must-be quality","volume":"14","author":"kano","year":"1984","journal-title":"Journal of the Japanese Society for Quality Control"},{"key":"24","author":"saaty","year":"1994","journal-title":"Fundamentals of Decision Making and Prority Theory with the Analytic Hierarchy Process"},{"key":"25","author":"beck","year":"2000","journal-title":"Planning Extreme Programming"},{"key":"26","first-page":"261","volume":"25","author":"birkhoff","year":"1967","journal-title":"Lattice Theory"},{"key":"27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume":"1","author":"ganter","year":"1999","journal-title":"Formal Concept Analysis Mathematical Foundations"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480600"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002464"},{"key":"10","first-page":"37","article-title":"Demystifying release definition: From requirements prioritization to collaborative value quantification","volume":"5512","author":"tourwe?","year":"2009","journal-title":"Journal of Lecture Notes on Software Engineering"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1276933.1276934"},{"key":"7","year":"0"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2007.38"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2004.1357792"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100102"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28244-0_4"},{"key":"8","year":"0"}],"event":{"name":"2013 International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,19]]},"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\/06620148.pdf?arnumber=6620148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T15:01:06Z","timestamp":1564498866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6620148\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/tefse.2013.6620148","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}