@misc{13972,
  author = {Jean-Marie Mottu and Sagar Sen and M. Tisi and J. Cabot},
  title = {Static Analysis of Model Transformations for Effective Test Generation},
  year = {2012},
  journal = {Proceedings of 2012 IEEE 23rd International Symposium},
  pages = {291 - 300},
  publisher = {IEEE},
  isbn = {978-1-4673-4638-2},
  doi = {10.1109/ISSRE.2012.7},
}