{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:59:43Z","timestamp":1729659583025,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/etfa.2011.6058982","type":"proceedings-article","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T16:30:25Z","timestamp":1319473825000},"page":"1-9","source":"Crossref","is-referenced-by-count":9,"title":["Towards Model-Based Test automation for embedded systems using UML and UTP"],"prefix":"10.1109","author":[{"given":"Padma","family":"Iyenghar","sequence":"first","affiliation":[]},{"given":"Elke","family":"Pulvermueller","sequence":"additional","affiliation":[]},{"given":"Clemens","family":"Westerkamp","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2011","key":"ref33"},{"year":"2011","key":"ref32"},{"year":"2011","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879031"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.321"},{"year":"2011","key":"ref11"},{"year":"2011","key":"ref12"},{"year":"2011","key":"ref13"},{"year":"2011","key":"ref14"},{"year":"2011","key":"ref15"},{"year":"2011","key":"ref16"},{"year":"2011","key":"ref17"},{"year":"2011","key":"ref18"},{"article-title":"Practical Model-Based Testing: A Tools Approach","year":"2007","author":"utting","key":"ref19"},{"year":"2011","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2011.48"},{"article-title":"An Approach to Model-Driven Testing - Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3","year":"2006","author":"dai","key":"ref27"},{"year":"2011","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.65"},{"year":"2011","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2009.5404096"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.148"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.30"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.18"},{"year":"2011","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-642-04164-8_16","article-title":"Model-Based Testing and the UML Testing Profile","volume":"5700","author":"krishnan","year":"2009","journal-title":"Semantics and Algebraic Specification"},{"year":"2011","key":"ref23"},{"article-title":"Model-Driven Testing: Using the UML Testing Profile","year":"2007","author":"baker","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656492"}],"event":{"name":"Factory Automation (ETFA 2011)","start":{"date-parts":[[2011,9,5]]},"location":"Toulouse, France","end":{"date-parts":[[2011,9,9]]}},"container-title":["ETFA2011"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6045288\/6058966\/06058982.pdf?arnumber=6058982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:32:21Z","timestamp":1497933141000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6058982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/etfa.2011.6058982","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}