Killing Stubborn Mutants with Symbolic Execution.

Thierry Titcheu Chekam Mike Papadakis Maxime Cordy Yves Le Traon

Published in: ACM Trans. Softw. Eng. Methodol. (2021)

Keyphrases

symbolic execution
test cases
test data generation
static analysis
test suite
test generation
weighted average
population size
specification language
source code
data flow
test set
software systems
software testing
evolutionary algorithm
training data
software development
decision trees