Test-driven verification/validation of model transformations