TetraBox - A Generic White-Box Testing Framework for Model Transformations.

Model transformations are crucial for the success of Model-Driven Engineering (MDE), comparable in role and importance to compilers for programming languages. The project is led by the Johannes Kepler University Linz (JKU Linz) and funded by the Austrian Science Fund (FWF).

Additional information about this project is available here: