Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification.
Yuqin ZhouTaku SugiharaYuji SatoPublished in: SOFL+MSVL (2014)
Keyphrases
- formal specification
- tabu list
- tabu search
- model checking
- genetic algorithm
- specification languages
- genetic algorithm ga
- search strategy
- simulated annealing
- object oriented design
- specification language
- tabu search algorithm
- formal methods
- hybrid algorithm
- reverse engineering
- process algebra
- concurrent systems
- neural network
- metaheuristic
- database
- temporal logic
- particle swarm optimization pso
- optimization method
- fitness function
- ant colony optimization
- relational databases
- artificial intelligence