• Nástroj pro generování unit testů pomocí model checkingu pro .net 

      Autor: Benjamin Hejl; Vedoucí práce: Frajták Karel; Oponent práce: Šebek Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-01)
      Jednotkové testy slouží jako základ testování softwaru a zdroj informací o fungování testovaného kódu, což je důležité pro jeho další rozvoj a vylepšování. Manuální formulace testů, které plně pokryjí testovanou metodu a ...