Killing Stubborn Mutants with Symbolic Execution

Chekam Thierry Titcheu
Chekam Thierry Titcheu

ACM Trans. Softw. Eng. Methodol., no. 2 (2021): 1-23

Cited by: 0|Views51
EI

Abstract:

We introduce SeMu, a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable mutants that remain undetected after a reasonable amount of testing). SeMu aims at mutant propagation (triggering erroneous states to the program output) by incrementally searching for divergent program beha...More

Code:

Data:

ZH
Your rating :
0

 

Tags
Comments