GIT - a heuristic program for testing pairs of directed line graphs for isomorphism.
Stephen H. UngerPublished in: Commun. ACM (1964)
Keyphrases
- graph isomorphism
- graph search
- graph theory
- test cases
- subgraph isomorphism
- symbolic execution
- pairwise
- minimum spanning tree
- search based software testing
- maximum independent set
- search algorithm
- test suite
- graph theoretic
- software testing
- computer programs
- optimal solution
- graph databases
- graph mining
- depth first search
- concurrent programs
- dynamic programming
- genetic algorithm
- static analysis
- graph data
- heuristic methods
- tree search
- test generation
- series parallel
- weighted graph
- combinatorial optimization