I worked on model transformation using Eclipse Modelling Framework. More specifically, I used ATL (Atlas Transformation Language) and QVT (Query, View and Transformation Language) to transform test models based on UTP (UML Testing Profile). In my PhD, I have read my papers and books concerning model transformation to develop my model based testing framework.