Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
gSpan: graph-based substructure pattern mining