Ego-centric Graph Pattern Census
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism