Testing of rule-based model transformations. University of Antwerp
The research objectives of this project are threefold: (1) to formalize model transformation requirements, (2) to automatically generate a set of input test models for a rule-based transformation, capable of revealing errors in a transformation and (3) to develop a novel oracle function, to test the implementation of a model transformation specification.