Using models of partial knowledge to test model transformationsAuthorsS. Sen, M. Tisi and J. CabotStatusPublishedPublication typeBook ChapterYear of publication2012JournalTheory and Practice of Model TransformationsPublisherSpringer Berlin HeidelbergCitation key13746Google Scholar BibTex