Browsing Bakalářské práce - 18101 by Subject "Chef"
Now showing items 1-1 of 1
-
Symbolická exekuce pro R
; Supervisor: Donat-Bouillud Pierre; Opponent: Krynski Sebastián
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné. Místo toho je použita technika, kdy je symbolicky ...