Prohlížení Diplomové práce - 18102 dle předmětu "backward symbolic execution,symbolic heap,lazy initialization,symbolic initialization,theory of arrays"

Zobrazují se záznamy 1-1 z 1

    • Zacházení s datovými strukturami na haldě ve zpětné symbolické exekuci 

      Autor: Husák Robert; Vedoucí práce: Ratschan Stefan; Oponent práce: Tvrdík Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
      Cílem této práce je významně rozšířit AskTheCode, dříve vytvořený doplněk nástroje Microsoft Visual Studio, který využívá zpětnou symbolickou exekuci pro verifikaci asercí v kódu C#. Jedno z největších omezení našeho doplňku ...