Record link: 
https://doi.org/10.34726/hss.2025.118405
http://hdl.handle.net/20.500.12708/209495
-
Title: 
Differential Testing of Static Taint Analysis Tools
en
Citation: 
Tesarek, F. (2025). Differential Testing of Static Taint Analysis Tools [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.118405
-
reposiTUm DOI: 
10.34726/hss.2025.118405
-
CatalogPlus: 
AC17416036
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Tesarek, Florian 
-
Advisor: 
Christaki, Maria 
-
Organisational Unit: 
E194 - Institut für Information Systems Engineering 
-
Date (published): 
2025
-
Number of Pages: 
57
-
Keywords: 
testing; program analysis; automated testing; program generation; soundness
en
Additional information: 
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2025-11-26+01:00)
Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Tesarek Florian - 2025 - Differential Testing of Static Taint Analysis Tools.pdf
Adobe PDF
(630.75 kB)
Open Access
Embargo. Accessible from 30.11.2025
Show full item record

Page view(s)

11
checked on Jan 23, 2025

Google ScholarTM

Check