Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization.
Daniil ChivilikhinVladimir UlyantsevFedor TsarevPublished in: GECCO (Companion) (2012)
Keyphrases
- ant colony optimization
- finite state machines
- evolutionary algorithm
- metaheuristic
- optimization problems
- genetic algorithm
- function optimization
- evolutionary strategy
- swarm intelligence
- ant colony
- simulated annealing
- multi objective
- particle swarm optimization
- evolutionary computation
- traveling salesman problem
- aco algorithms
- combinatorial optimization problems
- aco algorithm
- nature inspired
- mutation testing
- ant colony optimization algorithm
- ant colonies
- finite state automata
- differential evolution
- model checking
- artificial ants
- ant colony algorithm
- fitness function
- hybrid algorithm
- metaheuristic algorithms
- tabu search
- genetic programming
- particle swarm optimization pso
- artificial immune system
- crossover operator
- mutation operator
- hyper heuristics
- test cases
- artificial neural networks
- multi objective optimization
- search space
- database