Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking.
Kelson GentMichael S. HsiaoPublished in: Asian Test Symposium (2013)
Keyphrases
- swarm intelligence
- test generation
- bounded model checking
- test cases
- formal verification
- model checking
- particle swarm optimization
- ant colony optimization
- evolutionary computation
- computational intelligence
- temporal logic
- social behavior
- linear temporal logic
- particle swarm optimization pso
- static analysis
- swarm optimization
- collective behavior
- quality assurance
- social insects
- ant colonies
- software testing
- swarm robotics
- neural network
- theoretical and empirical study
- evolutionary algorithm
- genetic algorithm
- test suite
- power system
- cooperative
- foraging behavior