@inbook{13746,
  author = {Sagar Sen and Massimo Tisi and Jordi Cabot},
  title = {Using models of partial knowledge to test model transformations},
  year = {2012},
  journal = {Theory and Practice of Model Transformations},
  pages = {24{\textendash}39},
  publisher = {Springer Berlin Heidelberg},
}