Essays about: "cpachecker"
Found 1 essay containing the word cpachecker.
-
1. Model-based Testing on Generated C Code
University essay from Mälardalens högskola/Akademin för innovation, design och teknikAbstract : 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
Result pages:
1