A Meta Heuristic for Effectively Detecting Concurrency Errors.
Neha RungtaEric G. MercerPublished in: Haifa Verification Conference (2008)
Keyphrases
- metaheuristic
- simulated annealing
- tabu search
- optimization problems
- ant colony optimization
- scatter search
- optimal solution
- genetic algorithm
- search space
- combinatorial optimization
- harmony search algorithm
- vehicle routing problem
- solution space
- benchmark instances
- optimization method
- harmony search
- particle swarm optimization
- iterated local search
- combinatorial problems
- hybrid evolutionary
- initial solution
- hyper heuristics
- guided local search
- set of benchmark instances
- ant colony optimisation