Advanced search

Found 3 essays matching the above criteria.

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

3. 2. Horrifying Empathy : A comparative study of empathy in Stephen King's Pet Sematary and The Shining, with a discussion of the use of horror literature in the EFL-classroom

   University essay from Linnéuniversitetet/Institutionen för språk (SPR)

   Author : Niklas Petersson; [2018]
   Keywords : Cognitive literary criticism; Empathy; Pet Sematary; The Shining; EFL-classroom;

   Abstract : This essay is a comparative analysis of the novels Pet Sematary and The Shining by Stephen King, where the empathy that the characters may invoke is analyzed. The focus lies on the children, mothers and fathers of the two families featured in the novels, who are analyzed in terms of Leake’s division of easy or difficult empathy. READ MORE

4. 3. Experimental Slip-based Road Condition Estimation

   University essay from Lunds universitet/Institutionen för reglerteknik

   Author : Martin Santesson; Niklas Petersson; [2000]
   Keywords : Technology and Engineering;

   Abstract : Heavy traffic loads on the California highways have given birth to the development of automated highways. With vehicles traveling without human interaction, tighter spacing between cars canbeachieved without jeopardizng safety, leading to improved highway throughput. READ MORE