Translating test programs using a model-based process | IEEE Conference Publication | IEEE Xplore