An interaction testing technique between hardware and software in embedded systems | IEEE Conference Publication | IEEE Xplore