<div class="csl-bib-body">
<div class="csl-entry">Schober, S. (2026). <i>Automated Testing of Program Analyzers with Automata-Based Program Generation</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.138705</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2026.138705
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/231855
-
dc.description
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2027-09-30+02:00)
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Program analysis
en
dc.subject
program analyzer testing
en
dc.subject
soundness testing
en
dc.subject
program generation
en
dc.subject
automata
en
dc.subject
automated testing
en
dc.subject
deterministic finite automata
en
dc.subject
SMT
en
dc.subject
DFA
en
dc.title
Automated Testing of Program Analyzers with Automata-Based Program Generation
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2026.138705
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Sophia Schober
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E194 - Institut für Information Systems Engineering
