Essays about: "Joacim Norlén"

Found 1 essay containing the words Joacim Norlén.

  1. 1. Architecture for a Symbolic Execution Environment

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Joacim Norlén; [2022]
    Keywords : symbolic execution; program verification;

    Abstract : Program testing is an important aspect of software development. Symbolic execution can be used as a tool to automatically verify the correctness of programs for all feasible paths of execution. READ MORE