Record link: 
https://doi.org/10.34726/hss.2024.109940
http://hdl.handle.net/20.500.12708/195850
-
Title: 
Automated soundness testing of program analyzers
en
Citation: 
Fleischmann, M. (2024). Automated soundness testing of program analyzers [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.109940
-
reposiTUm DOI: 
10.34726/hss.2024.109940
-
CatalogPlus: 
AC17112381
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Fleischmann, Markus 
-
Advisor: 
Christaki, Maria 
-
Organisational Unit: 
E194 - Institut für Information Systems Engineering 
-
Date (published): 
2024
-
Number of Pages: 
42
-
Keywords: 
program analysis; automated testing; soundness; SMT
en
Additional information: 
Zusammenfassung in deutscher Sprache
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Fleischmann Markus - 2024 - Automated Soundness Testing of Program Analyzers.pdf
Adobe PDF
(517.03 kB)
Open Access
Embargo. Accessible from 31.01.2025
Show full item record

Page view(s)

82
checked on Mar 20, 2024

Google ScholarTM

Check