Discovering model transformation pre-conditions using automatically generated test models.

Jean-Marie Mottu, Sagar Sen, Juan Jos Cadavid, Benoit Baudry

Browse the full ISSRE paper archive.