Toggle navigation
Thierry Titcheu Chekam
Home
Publications
Contact
Killing Stubborn Mutants with Symbolic Execution
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
Abstract
Type
Journal
Publication
CoRR
Date
January, 2020
Links
PDF
←
Selecting fault revealing mutants