Using graph neural networks for program termination.
Yoav AlonCristina DavidPublished in: ESEC/SIGSOFT FSE (2022)
Keyphrases
- neural network
- pattern recognition
- graph theory
- graph representation
- structured data
- genetic algorithm
- graph structure
- random walk
- graph matching
- directed graph
- artificial neural networks
- computer programs
- directed acyclic graph
- training process
- graph partitioning
- multilayer perceptron
- programming environment
- fault diagnosis
- back propagation
- graph based algorithm
- bayesian networks
- data sets
- graph clustering
- stable set
- weighted graph
- recurrent neural networks
- neural network model
- connected components
- graph cuts
- fuzzy logic
- clustering algorithm