Essays about: "Nils Petersson"

Found 1 essay containing the words Nils Petersson.

  1. 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 system

    Author : Niklas Pettersson; Nils Petersson; [2019]
    Keywords : Mutation Testing; Symbolic Execution; Dextool;

    Abstract : 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