Automatic Model Generation Strategies for Model Transformation Testing
Hints on Test Data Selection: Help for the Practicing Programmer