TY  - RPRT
TI  - Killing Stubborn Mutants with Symbolic Execution
AU  - Thierry Titcheu Chekam
AU  - Mike Papadakis
AU  - Maxime Cordy
AU  - Yves Le Traon
PY  - 2020
UR  - https://arxiv.org/abs/2001.02941
ID  - 2001.02941
ER  -