M. Wieber and A. Schürr, “Gray Box Coverage Criteria for Testing Graph Pattern Matching”, eceasst, vol. 54, Nov. 2012.