Executable test definition for a state machine driven embedded test controller module | IEEE Conference Publication | IEEE Xplore