Wieber, M.; Schürr, A. Gray Box Coverage Criteria for Testing Graph Pattern Matching. ECEASST 2012, 54.