Browsing by Author "Al-Beywanee Bestoun S. Ahmed"
Now showing items 1-4 of 4
-
Analysis and comparison of methods of Grobner bases for solving nonlinear polynomial systems in finite fields of characteristic 2.
Author: Nizamov Ildar; Supervisor: Al-Beywanee Bestoun S. Ahmed; Opponent: Ishmukhametov Shamil Talgatovitch
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)Metoda Grobnerovy báze je univerzální a výkonný nástroj pro řešení nelineárních polynomiálních rovnic v některých algebraických polích. Tato metoda je zobecnění Gaussovského eliminačního algoritmu v nelineárním případě. ... -
Avocado framework plugin for generating combinatorial interaction tests
Author: Jan Richter; Supervisor: Al-Beywanee Bestoun S. Ahmed; Opponent: Šebek Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-31)V posledních deseti letech si kombinatorické testování (CIT) získává pozornost díky efektivnímu nalézání chyb v komplexních systémech. CIT je široce používané ke generování testovacích scénářů pro softwérové systémy ze ... -
Code coverage analysis and test case generation
Author: Sýkora Kryštof; Supervisor: Al-Beywanee Bestoun S. Ahmed; Opponent: Malý Ivo
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-12)Cílem této práce je vytvoření metody pro generování testovacích scénářů a vyhodnocení jejich effektivity. Tato metoda je vytvořená na základě analýzy konkrétního programu, která je založená na určení dopadů, jaký mají ... -
Implementation of Goldwasser-Kilian primality test on elliptic curves
Author: Gimadiev Marat; Supervisor: Al-Beywanee Bestoun S. Ahmed; Opponent: Latypov Roustem Haphisovitch
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)Due to the development in information security and cryptography fields, in particular public-key cryptography, the importance of searching for large prime numbers has increased. Solovay and Strassen, in 1977, and Miller ...