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