@misc{13737, author = {Sagar Sen}, title = {Automatic model generation strategies for model transformation testing}, year = {2009}, pages = {148{\textendash}164}, publisher = {Springer Berlin Heidelberg}, }