Test Case Generation by OCL Mutation and Constraint Solving.
Bernhard K. AichernigPercy Antonio Pari SalasPublished in: QSIC (2005)
Keyphrases
- constraint solving
- test case generation
- test cases
- software testing
- constraint propagation
- constraint logic programming
- genetic algorithm
- constraint satisfaction problems
- constraint satisfaction
- evolutionary algorithm
- test data generation
- test suite
- differential evolution
- fitness function
- constraint solver
- constraint programming
- object oriented systems
- test set
- mutation operator
- genetic algorithm ga
- test generation
- crossover operator
- np complete
- evolutionary process
- simulated annealing
- object oriented