Infrastructure support to convey test data from state diagrams for executing MBT in embedded systems | IEEE Conference Publication | IEEE Xplore