Wieber, M. and Schürr, A. (2012) “Gray Box Coverage Criteria for Testing Graph Pattern Matching”, Electronic Communications of the EASST, 54. doi: 10.14279/tuj.eceasst.54.772.