We present a method for testing the implementation of graph transformation specifications
focusing on test case generation for graph pattern matching. We propose an extensible
fault model for the implementation of transformations based on common programmer faults
and the technicalities of graph transformations. We integrate traditional hardware
testing (combinational circuits) and software testing techniques (mutant generation)
for generating test cases.