@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}, }