32 citations · 44 across the 2 of their papers we have counts for
3 papers
Cerebro: Static Subsuming Mutant Selection
Aayush Garg, Milos Ojdanic, Renzo Degiovanni +3
Mutation testing research has indicated that a major part of its application cost is due to the large number of low utility mutants that it introduces. Although previous research h…
Killing Stubborn Mutants with Symbolic Execution
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…
Assessing and Comparing Mutation-based Fault Localization Techniques
Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
Recent research demonstrated that mutation-based fault localization techniques are relatively accurate and practical. However, these methods have never been compared and have only…