Algorithm Selection for Software Verification using Graph Attention Networks.
Will LeesonMatthew B. DwyerPublished in: CoRR (2022)
Keyphrases
- selection algorithm
- learning algorithm
- detection algorithm
- optimization algorithm
- computational complexity
- dynamic programming
- preprocessing
- fully connected
- expectation maximization
- computational cost
- cost function
- k means
- graph based algorithm
- optimal solution
- objective function
- similarity measure
- finding the shortest path
- spanning tree
- graph model
- tree structure
- segmentation algorithm
- probabilistic model
- ant colony optimization
- complex networks
- graph theory
- np complete
- minimum spanning tree
- np hard
- maximum flow
- search space
- solution path
- neural network