Generating combinatorial test sets for model transformations

Full text