1. The art of software testing;Myers,2011
2. Tractable model transformation testing;Gogolla,2011
3. Formal specification and testing of model transformations;Vallecillo,2012
4. Automated verification of model transformations based on visual contracts;Guerra;Autom Softw Eng,2013
5. EUnit: a unit testing framework for model management tasks;García-Domínguez,2011