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