32 citations · 44 across the 2 of their papers we have counts for
1 paper · 1 filter
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy +1
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…