Enhancing constraint based test generation by local search.
Mengxiang LinXiaomei HouRui LiuLinyan GePublished in: ICSCA (2017)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- search algorithm
- genetic algorithm
- static analysis
- design automation
- search space
- mutation testing
- quality assurance
- memetic algorithm
- global search
- software testing
- optimal solution
- combinatorial optimization
- tabu search
- artificial intelligence
- regression testing
- test data generation
- multi agent systems