Killing Stubborn Mutants with Symbolic Execution.

Thierry Titcheu Chekam Mike Papadakis Maxime Cordy Yves Le Traon

Published in: CoRR (2020)

Keyphrases

symbolic execution
test cases
test data generation
test generation
static analysis
test suite
weighted average
population size
source code
software testing
specification language
data flow
software systems
pattern matching
data sets
test set
open source
artificial intelligence
neural network