Experiments in applying evolutionary algorithms to software verification.
Woei Shyang SiawCharles LakosZbigniew MichalewiczSven SchellenbergPublished in: IEEE Congress on Evolutionary Computation (2008)
Keyphrases
- evolutionary algorithm
- evolutionary computation
- multi objective
- optimization problems
- multi objective optimization
- differential evolution
- genetic algorithm
- simulated annealing
- genetic operators
- genetic programming
- crossover operator
- fitness function
- differential evolution algorithm
- evolutionary search
- evolutionary process
- evolutionary methods
- real time
- particle swarm
- nsga ii
- particle swarm optimization
- neural network
- databases