Essays about: "Niklas Pettersson"

Found 5 essays containing the words Niklas Pettersson.

  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. A general peer-to-peer based distributed computation network

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jack Pettersson; Leif Schelin; Niklas Wärvik; Joakim Öhman; [2014-09-23]
    Keywords : ;

    Abstract : We consider how a decentralised computation system would work when each participant could create computation code as well as executing other participants’ code. A protocol is proposed that allows such collaboration to take place, assuming that no participant can be trusted. READ MORE

  4. 3. GPU-Accelerated Real-Time Surveillance De-Weathering

    University essay from Datorseende; Tekniska högskolan

    Author : Niklas Pettersson; [2013]
    Keywords : CUDA; de-haze; de-rain; de-snow; image enhancement;

    Abstract : A fully automatic de-weathering system to increase the visibility/stability in surveillance applications during bad weather has been developed. Rain, snow and haze during daylight are handled in real-time performance with acceleration from CUDA implemented algorithms. READ MORE

  5. 4. Implementing an enterprise search platform using Lucene.NET

    University essay from Interaktiva och kognitiva system; Tekniska högskolan

    Author : Fredrik Pettersson; Niklas Pettersson; [2012]
    Keywords : Enterprise Search; Lucene; Lucene.NET;

    Abstract : This master’s thesis, conducted at Sectra Medical Systems AB, investigates the feasibility of integrating a search platform, built on modern search technology, into the complex architecture of existing products. This was done through the implementation and integration of a search platform prototype, called Sectra Enterprise Search. READ MORE

  6. 5. Stereo Vision System for an Autonomous Robotic Platform

    University essay from Akademin för innovation, design och teknik

    Author : Lars Cederholm; Niklas Pettersson; [2011]
    Keywords : Ada; C; OpenCV; OpenCVAda;

    Abstract : .... READ MORE