TETRABox - A Generic White-Box Testing Framework for Model Transformations | IEEE Conference Publication | IEEE Xplore