Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.
Mike PapadakisNicos MalevrisPublished in: ISSRE (2010)
Keyphrases
- test data generation
- symbolic execution
- test case generation
- test cases
- simulated annealing algorithm
- genetic algorithm
- static analysis
- test generation
- fitness function
- software testing
- evolutionary algorithm
- differential evolution
- generation algorithm
- source code
- mutation operator
- programming language
- search algorithm
- artificial intelligence