Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
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. (2024).
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):
2024
-
Number of Pages:
57
-
Keywords:
testing; program analysis; automated testing; program generation; soundness
en
License:
In Copyright
de
Appears in Collections:
Thesis
Fulltext (Version of Record (published version))
Adobe PDF
(630.75 kB)
In Copyright
Embargo. Accessible from 30.11.2025
Show full item record
Page view(s)
140
checked on Jan 23, 2025
Download(s)
1
checked on Jan 23, 2025
Google Scholar
TM
Check