MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests.
Michael BaerNorbert OsterMichael PhilippsenPublished in: ICST Workshops (2020)
Keyphrases
- automatic detection
- symbolic execution
- test generation
- test cases
- test data generation
- test suite
- static analysis
- software testing
- automatically detecting
- source code
- database
- differential evolution
- specification language
- test set
- general purpose
- multi objective
- databases
- relational databases
- training data
- genetic algorithm