On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.

Sagar Sen, Benoit Baudry, Jean-Marie Mottu

Browse the full ICST paper archive.