Assertion-based slicing and slice graphs.

José Bernardo Barros Daniela Carneiro da Cruz Pedro Rangel Henriques Jorge Sousa Pinto

Published in: Formal Aspects Comput. (2012)

Keyphrases

graph theoretic
graph clustering
real time
database
data mining
information systems
case study
directed graph
graph matching
graph mining
graph properties
subgraph isomorphism
graph kernels
spanning tree
weighted graph
graph structure
graph theory
data sets