Theses on the same topic (having an identical keyword):
instrumentationKeywords ordered alphabetically | Keywords ordered by occurrence rate
Instrumentation of LLVM IR
(Martina Vitovská)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nhd8u/ | Aplikovaná informatika / | Theses on a related topic
Improvements of Memory Management in KLEE
(Jakub Novák)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eazm0/ | Aplikovaná informatika / | Theses on a related topic
Instrumentation of LLVM IR
(Martina Vitovská)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nhd8u/ | Aplikovaná informatika / | Theses on a related topic
Verification of Memory Safety with Predator and Symbiotic
(Tomáš Jašek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic