@inproceedings{Sen09a,
 author = {Sen, Sagar and Baudry, Benoit and Mottu, Jean-Marie},
 title = {Automatic Model Generation Strategies for Model Transformation Testing},
 booktitle = {ICMT '09: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations},
 year = {2009},
 isbn = {978-3-642-02407-8},
 pages = {148--164},
 location = {Zurich, Switzerland},
 doi = {http://dx.doi.org/10.1007/978-3-642-02408-5_11},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }