{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:22:05Z","timestamp":1729614125405,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/qsic.2009.33","type":"proceedings-article","created":{"date-parts":[[2010,1,20]],"date-time":"2010-01-20T16:08:33Z","timestamp":1264003713000},"page":"185-190","source":"Crossref","is-referenced-by-count":6,"title":["A Model-Based Testing for AADL Model of Embedded Software"],"prefix":"10.1109","author":[{"given":"Yun-wei","family":"Dong","sequence":"first","affiliation":[]},{"given":"Geng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Hong-bing","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Eneyclopedia on Software Engineering","article-title":"Model-based Software Testing","year":"2001","author":"ei-far","key":"ref4"},{"key":"ref3","first-page":"15","article-title":"Model Based Testing","author":"pretschner","year":"2005","journal-title":"ICSE'05"},{"year":"2009","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.100"},{"volume":"1 e","journal-title":"Architecture Analysis and Design Language (AADL) Annex","year":"2006","key":"ref11"},{"journal-title":"Softwarw Quality Week Conference","article-title":"Model-based Software Testing","year":"1997","author":"alpelbaum","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291545"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.73"},{"journal-title":"The Architecture Analysis & Design Language (AADL) An Introduction","year":"2006","author":"feiler","key":"ref2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842"},{"journal-title":"MulSaw","year":"2009","key":"ref9"},{"journal-title":"Model driven architecture (MDA)","year":"2002","key":"ref1"}],"event":{"name":"2009 9th International Conference on Quality Software (QSIC)","start":{"date-parts":[[2009,8,24]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 Ninth International Conference on Quality Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379691\/5381320\/05381472.pdf?arnumber=5381472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T04:04:01Z","timestamp":1558757041000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5381472\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/qsic.2009.33","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}