Jean-Marie MottuSagar SenJuan José CadavidBenoit BaudryDiscovering model transformation pre-conditions using automatically generated test models.88-992015ISSREhttps://doi.org/10.1109/ISSRE.2015.7381802https://doi.ieeecomputersociety.org/10.1109/ISSRE.2015.7381802conf/issre/2015db/conf/issre/issre2015.html#MottuSCB15