Search for dissertations about: "Benjamin Vedder"

Found 2 swedish dissertations containing the words Benjamin Vedder.

  1. 1. On the Design and Testing of Dependable Autonomous Systems

    University dissertation from Halmstad : Halmstad University Press

    Author : Benjamin Vedder; Magnus Jonsson; Jonny Vinter; Zbigniew Kalbarczyk; [2018]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Designing software-intensive embedded systems for dependable autonomous applications is challenging. In addition to fulfilling complex functional requirements, the system must be safe under all operating conditions, even in the presence of faults. READ MORE

  2. 2. Testing Safety-Critical Systems using Fault Injection and Property-Based Testing

    University dissertation from Halmstad : Halmstad University Press

    Author : Benjamin Vedder; Magnus Jonsson; Andreas Johansson; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; FaultCheck; Property-Based Testing; Simulation; Fault Model; Quadcopter; E2E;

    Abstract : Testing software-intensive systems can be challenging, especially when safety requirements are involved. Property-Based Testing (PBT) is a software testing technique where properties about software are specified and thousands of test cases with a wide range of inputs are automatically generated based on these properties. READ MORE