Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing.
Mike PapadakisNicos MalevrisPublished in: Softw. Qual. J. (2011)
Keyphrases
- test data generation
- search based testing
- symbolic execution
- test cases
- simulated annealing algorithm
- fitness function
- software testing
- genetic algorithm
- test generation
- evolutionary algorithm
- simulated annealing
- generation algorithm
- multi objective
- test suite
- decision trees
- database
- model checking
- differential evolution
- regular expressions