Automatic Model Generation Strategies for Model Transformation Testing
Korat: automated testing based on Java predicates