On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972. ,
DOI : 10.1145/361598.361623
Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006. ,
DOI : 10.1109/MC.2006.58
Testing Embedded Software, 2002. ,
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp.428-432, 2007. ,
DOI : 10.1109/ISORC.2007.17
Aspect-oriented model-driven engineering for embedded systems applied to automation systems To appear in special issue on Software Engineering in Factory and Energy Automation, IEEE Trans. on Industrial Informatics, 2013. ,
Support for early verification of embedded real-time systems through UML models simulation, ACM SIGOPS Operating Systems Review, vol.46, issue.1, pp.73-81, 2012. ,
DOI : 10.1145/2146382.2146396
One evaluation of model-based testing and its automation, Proc. 27th International Conference on Software Engineering, pp.392-401, 2005. ,
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile, Proc. 13th Intl. SDL Forum: Conf. on Design for Dependable Systems. SDL'07, pp.86-100, 2007. ,
DOI : 10.1007/978-3-540-74984-4_6
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -, Proc. 17th Intl. Conf. on Testing of Communicating Systems, pp.289-303, 2005. ,
DOI : 10.1007/3-540-44830-6_7
Towards Model-Based Test automation for embedded systems using UML and UTP, ETFA2011, pp.1-9, 2011. ,
DOI : 10.1109/ETFA.2011.6058982
Automated Generation of Test Cases Using Model-Driven Architecture, Second International Workshop on Automation of Software Test (AST '07), 2007. ,
DOI : 10.1109/AST.2007.2
Simple smalltalk testing Kent Beck's Guide to Better Smalltalk, pp.277-288, 1999. ,
DOI : 10.1017/cbo9780511574979.033
Early Verification of Embedded Systems: Testing Automation for UML Models, 2012 Brazilian Symposium on Computing System Engineering, pp.1-7, 2012. ,
DOI : 10.1109/SBESC.2012.31