Essays about: "Christoph Kaiser"

Found 1 essay containing the words Christoph Kaiser.

  1. 1. Quantitative Analysis of Exploration Schedules for Symbolic Execution

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Christoph Kaiser; [2017]
    Keywords : symbolic execution; bug finding; test case generation;

    Abstract : Due to complexity in software, manual testing is not enough to cover all relevant behaviours of it. A different approach to this problem is Symbolic Execution. Symbolic Execution is a software testing technique that tests all possible inputs of a program in the hopes of finding all bugs. READ MORE