Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.
Aws AlbarghouthiArie GurfinkelMarsha ChechikPublished in: VMCAI (2012)
Keyphrases
- times faster
- cost function
- k means
- detection algorithm
- matching algorithm
- computationally efficient
- optimization algorithm
- experimental evaluation
- learning algorithm
- preprocessing
- probabilistic model
- worst case
- recognition algorithm
- improved algorithm
- verification method
- interpolation algorithm
- simulated annealing
- data sets
- search space
- neural network
- particle swarm optimization
- linear programming
- tree structure
- high accuracy
- path planning
- significant improvement
- computational complexity
- genetic algorithm