Theses on the same topic (having an identical keyword):

stanse

Keywords ordered alphabetically | Keywords ordered by occurrence rate

C++ support for Stanse
 (Martin Vejnár)

2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ou563/ | Informatika / Teoretická informatika | Theses on a related topic

Integrace nástroje Stanse do IDE NetBeans
 (Martin Velek)

2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/b48kj/ | Aplikovaná informatika / | Theses on a related topic

Podpora preprocesoru CPP v nástroji Stanse
 (Michal Krajňanský)

2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/qgu7l/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic

Statistická analýza pro hledání chyb v programech
 (Radim Čebiš)

2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/vnw1k/ | Informatika / Informační systémy | Theses on a related topic

Automatic Bug-finding Techniques for Large Software Projects
 (Jiří Slabý)

2013, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ehqsd/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Statická analýza ukazatelů pro jazyk C
 (Michal Strehovský)

2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/l04ea/ | Aplikovaná informatika / | Theses on a related topic

Automatická detekce uváznutí v C
 (Jan Kučera)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zz0cz/ | Informatika / Počítačové systémy | Theses on a related topic