Franck Fleurey Benoit Baudry Pierre-Alain Muller Yves Le Traon Qualifying input test data for model transformations. 185-203 2009 8 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-007-0074-8 db/journals/sosym/sosym8.html#FleureyBMT09