Early Verification of Embedded Systems: Testing Automation for UML Models

Marco A. Wehrmeister, Luis M. Ceron, Johnny L. da Silva. Early Verification of Embedded Systems: Testing Automation for UML Models. In 2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012. pages 119-124, IEEE, 2012. [doi]

Abstract

Abstract is missing.