High Level Test Generation / SW based Embedded Test | IEEE Conference Publication | IEEE Xplore