Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution.
Annamária SzenkovitsNoémi GaskóHunor JakabPublished in: SYNASC (2016)
Keyphrases
- differential evolution
- reactive systems
- evolutionary algorithm
- differential evolution algorithm
- convergence speed
- optimization algorithm
- particle swarm optimization
- test functions
- mutation operator
- optimization method
- direct search
- temporal logic
- evolution strategy
- particle swarm optimization pso
- global optimization problems
- model checking
- numerical optimization problems
- function optimization problems
- parameter optimization
- multi objective optimization
- crossover operator
- genetic algorithm
- real coded
- solving global optimization problems
- fitness function
- evolutionary strategy
- genetic programming
- multi objective
- formal methods
- petri net
- software systems
- optimization problems
- optimal solution
- artificial intelligence
- machine learning
- real time