Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing

This thesis investigates how symbolic execution and constraint solving can be used for detecting equivalent and non-equivalent mutants in mutation testing. The presented method proposes a driver im ...