On combining multi-formalism knowledge to select models for model transformation testingAuthorsS. SenStatusPublishedPublication typeMiscellaneousYear of publication2008Journal-PublisherIEEECitation key13739Google Scholar BibTex