Essays about: "Nils Petersson"
Found 1 essay containing the words Nils Petersson.
-
1. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing
University essay from Linköpings universitet/Programvara och systemAbstract : 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 implementation, realized as a plugin for Dextool, to differentiate original and mutated code from each other by executing both versions symbolically using KLEE. READ MORE
Result pages:
1