1. Benoit Baudry;franck fleurey;Qualifying input test data for model transformations,2009
2. Specification of graph translators with triple graph grammars;schürr,1994
3. Sufficient criteria for applicability and non-applicability of rule sequences;lambers;ECEASST,2008
4. IPOG: A General Strategy for T-Way Software Testing