Sökning: "Christoph Kaiser"

Hittade 1 uppsats innehållade orden Christoph Kaiser.

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

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Christoph Kaiser; [2017]
    Nyckelord :symbolic execution; bug finding; test case generation;

    Sammanfattning : 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. LÄS MER