Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.
Samira TasharofiSepand AnsariMarjan SirjaniPublished in: ICFEM (2006)
Keyphrases
- simulated annealing
- times faster
- experimental evaluation
- optimization algorithm
- detection algorithm
- expectation maximization
- worst case
- probabilistic model
- computational cost
- dynamic programming
- preprocessing
- optimal solution
- energy function
- pattern matching
- convergence rate
- data sets
- improved algorithm
- computationally efficient
- high accuracy
- significant improvement
- search space
- objective function
- image segmentation