Essays about: "cpachecker"

Found 1 essay containing the word cpachecker.

  1. 1. Model-based Testing on Generated C Code

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Athanasios Stratis; [2015]
    Keywords : model-checker; cpachecker; testing;

    Abstract : In this master thesis we investigated whether it is possible to use automatically generated C code from Function Block Diagram models as an input to the CPAchecker model checker in order to generate automated test cases. Function Block Diagram is a non-executable programming and modeling language. READ MORE