Zauzete teme za samostalni seminarski rad za kurs Verifikacija softvera (uz svaku zauzetu temu stoji ime osobe koja obrađuje tu temu) ---------------------------------------------- SLIKE ---------------------------------------------- 11 Simboličko izvršavanje --- Nevena Mijailovic 12 Proveravanje modela --- Andrijana Bosiljcic 13 Apstraktna interpretacija --- Milan Dimitrijević 14 Testiranje Mind Map --- Tamara Đukić 15 Dinamička analiza Mind Map --- Đorđe Petrović 16 Simboličko izvršavanje Mind Map --- Алекса Јовановић 17 Proveravanje modela Mind Map --- Milica Gajić ---------------------------------------------- Stručni radovi ---------------------------------------------- 21 Alat Perf --- Jelena Bondžić 22 Alat Gprof --- Jovana Adzic 23 Alat Java flight recorder --- Iva Citlucanin 24 Alat VisualVM --- Sara Zivkovic 25 Profajliranje Python programa sa modulom cProfile --- Marija Bogavac 26 Alat PyFlame --- Luka Kumburović 27 Besplatni profajleri --- Emilija Stevanovic 28 Flame Graph --- Matija Lojović 29 Vizuelni prikazi koje koriste profajleri --- Jovana Đurović 30 Treemap viewer --- Nikola Subotic ---------------------------------------------- Primeri (ilustracije u primerima takodje koriscenjem biblioteke tikz) ---------------------------------------------- 31 Tabele odlučivanja kroz primere --- Anđela Damnjanović 32 Dijagrami stanja i tabele stanja kroz primere --- Павле Савић 33 Integraciono testiranje kroz primere --- Aleksandar Stoiljković 34 Metod klasa ekvivalencije i graničnih vrednosti kroz primere 1 --- Andjela Djurovic 35 Metod klasa ekvivalencije i graničnih vrednosti kroz primere 2 --- 36 Simboličko izvršavanje kroz primere — zbir brojeva --- Marina Vasiljević 37 Simboličko izvršavanje kroz primere — maksimum brojeva --- Tatjana Kunic 38 Predlog ---