{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:20:12Z","timestamp":1725607212311},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/twinpeaks.2012.6344557","type":"proceedings-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T17:15:09Z","timestamp":1352999709000},"page":"27-30","source":"Crossref","is-referenced-by-count":9,"title":["Binding requirements and component architecture by using model-based test-driven development"],"prefix":"10.1109","author":[{"given":"Dongyue","family":"Mou","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Ratiu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.2"},{"journal-title":"2011 Model-based Testing User Survey Results and Analysis","year":"2012","author":"binder","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.17"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201238"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.314"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.37"},{"key":"4","article-title":"Requirements engineering for embedded systems","author":"broy","year":"1997","journal-title":"First Workshop Formal Design of Safety Critical Embedded Systems (FemSys)"},{"journal-title":"A Taxonomy of Model Based Testing","year":"2006","author":"utting","key":"9"},{"key":"8","article-title":"Abstractions for modelbased testing","author":"prenninger","year":"2006","journal-title":"International Workshop On Test and Analysis of Component Based Systems (TACOS'06)"}],"event":{"name":"2012 IEEE First International Workshop on the Twin Peaks of Requirements and Architecture (Twin Peaks)","start":{"date-parts":[[2012,9,25]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2012,9,25]]}},"container-title":["2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6337028\/6344550\/06344557.pdf?arnumber=6344557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T22:42:58Z","timestamp":1490136178000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6344557\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/twinpeaks.2012.6344557","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}