Erwan Brottier Franck Fleurey Jim Steel Benoit Baudry Yves Le Traon Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. 85-94 2006 conf/issre/2006 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.27 db/conf/issre/issre2006.html#BrottierFSBT06