Towards Testing the Implementation of Graph Transformations. - Andrea Darabos; András Pataricza; Dániel Varró (GT-VMT@ETAPS, 2006)