Zpět na vyhledávání

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

static analysis

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 17 theses)
Static analysis of Python code
 (Jakub Kiska)

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

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

List of theses with an identical keyword.

Effectively Combining Static Code Analysis and Manual Code Reviews
 (Jan Svoboda)

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

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

Custom Roslyn Tool for Static Code Analysis
 (Zuzana Dankovčíková)

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

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

Integrating Static Code Analysis and Defect Tracking
 (Jakub Papcun)

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

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

The Static Analysis and Sensitivity Study of the Car-latch Tensile Strength
 (Venkatesh Nagarajan Kamaladevi)

2020, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/142149 | Strojní inženýrství / Aplikovaná mechanika | Theses on a related topic

Static Analysis Using the Meta Infer Framework to Detect Data Races
 (Lucie Svobodová)

2023, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//pawzlp// | Informační technologie / | Theses on a related topic

Advanced Static Performance Analysis Using Meta Infer
 (Ondřej Pavela)

2023, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//dxwqvx// | Informační technologie a umělá inteligence / | Theses on a related topic

String Analysis for Software Verification
 (Martina Olliaro)

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

• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Theses on a related topic

Security Analysis of an Existing Web Application
 (Radovan Hančuľák)

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

• https://is.muni.cz/th/gb3ea/ | Informatika / | Theses on a related topic

Formal Analysis of Rule-Based Models in Systems Biology
 (Matej Troják)

2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/lc8hj/ | Umělá inteligence a zpracování dat / | Theses on a related topic

« 1 2 » (total: 17 theses)