{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:56:51Z","timestamp":1729641411508,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/sbcars.2011.20","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T19:29:43Z","timestamp":1325878183000},"page":"120-129","source":"Crossref","is-referenced-by-count":0,"title":["Testing Architectures for Real Time Systems"],"prefix":"10.1109","author":[{"given":"Everton L.G.","family":"Alves","sequence":"first","affiliation":[]},{"given":"Patricia D.L.","family":"Machado","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1016\/S1571-0661(04)81023-5"},{"year":"2007","author":"baker","journal-title":"Model-Driven Testing Using the UML Testing Profile","key":"17"},{"year":"2006","author":"barry","journal-title":"FreeRTOS-A Free RTOS for Small Embedded Real Time Systems","key":"18"},{"year":"1998","author":"lyons","journal-title":"UML for Real-Time Overview","key":"15"},{"year":"2002","author":"fontoura","journal-title":"The UML Profile for Framework Architectures","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/1145581.1145606"},{"key":"14","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/11430230_20","article-title":"From U2TP models to executable tests with TTCN-3 - An approach to model driven testing","volume":"3502","author":"zander","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"year":"2001","author":"el-far","journal-title":"Encyclopedia of Software Engineering","article-title":"Model-based software testing","key":"11"},{"year":"2007","author":"sommerville","journal-title":"Engenharia de Software 8a Edic?a?o","key":"12"},{"key":"21","first-page":"365","article-title":"Property-oriented testing of real-time systems","author":"li","year":"2004","journal-title":"Proceedings of the 11th Asia-Pacific Software Engineering Conference"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/ISORC.2008.36"},{"key":"22","first-page":"54","article-title":"Test case generation of embedded real-time systems with interruptions for FreeRTOS","author":"andrade","year":"2009","journal-title":"Formal Methods Foundations and Applications 12th Brazilian Symposium on Formal Methods 2009 Gramado"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1007\/978-3-642-10452-7_4"},{"year":"2007","journal-title":"Technical Report OMG","key":"24"},{"year":"2004","author":"dai","journal-title":"Model-driven Testing with UML 2 0","first-page":"179","key":"25"},{"year":"2010","author":"macedo","journal-title":"Automating Test Case Execution for Real-Time Embedded Systems on Testing Software and Systems Short Papers","first-page":"37","key":"3"},{"year":"2007","author":"hessel","journal-title":"Model-based Test Case Generation for Real-time Systems","key":"2"},{"year":"0","key":"10"},{"year":"2003","author":"kleppe","journal-title":"The Practice and Promise of the Model Driven Architecture","article-title":"MDA explained","key":"1"},{"key":"7","first-page":"23","article-title":"Mapeando modelos de teste de utp para a plataforma freertos","author":"alves","year":"2010","journal-title":"Anais Do IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010)"},{"key":"6","first-page":"74","article-title":"Uma abordagem integrada para desenvolvimento e teste dirigido por modelos","author":"alves","year":"2008","journal-title":"Anais Do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES\/SAST 2008)"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/210223.210226"},{"year":"1997","author":"douglass","journal-title":"Real-Time UML Developing Efficient Objects for Embedded Systems","key":"4"},{"key":"9","first-page":"14","article-title":"Automatic generation of platform independent built-in contract testers","author":"lima","year":"2007","journal-title":"Anais Do Simpo?sio Brasileiro de Componentes Arquiteturas e Reutilizac?a?o de Software (SBCARS 2007)"},{"key":"8","first-page":"719","article-title":"ATL: A QVT-like transformation language","volume":"2006","author":"jouault","year":"2006","journal-title":"Proceedings of the Conference on Object-Oriented Programming Systems Languages and Applications OOPSLA"}],"event":{"name":"2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)","start":{"date-parts":[[2011,9,26]]},"location":"Sao Paulo, Brazil","end":{"date-parts":[[2011,9,27]]}},"container-title":["2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6114269\/6114537\/06114548.pdf?arnumber=6114548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T12:22:47Z","timestamp":1497961367000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6114548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":25,"URL":"http:\/\/dx.doi.org\/10.1109\/sbcars.2011.20","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}
