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