Algorithm Selection for Software Verification Using Graph Neural Networks.
Will LeesonMatthew B. DwyerPublished in: ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
- neural network
- selection algorithm
- computational cost
- detection algorithm
- computational complexity
- preprocessing
- k means
- graph model
- dynamic programming
- graph structure
- weighted graph
- shortest path problem
- objective function
- graph based algorithm
- spanning tree
- random graphs
- graph construction
- hopfield neural network
- expectation maximization
- back propagation
- segmentation algorithm
- input data
- fuzzy logic
- probabilistic model
- significant improvement
- optimal solution
- learning algorithm