<div class="csl-bib-body">
<div class="csl-entry">Stromberger, A. M. K. (2026). <i>Validating solidity compilers via assertion-driven metamorphic testing</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.138704</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2026.138704
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/226914
-
dc.description
Zusammenfassung in deutscher Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
compiler testing
en
dc.subject
metamorphic testing
en
dc.subject
test oracles
en
dc.subject
smart contract security
en
dc.subject
Solidity
en
dc.subject
EVM
en
dc.subject
symbolic execution
en
dc.subject
fuzzing
en
dc.title
Validating solidity compilers via assertion-driven metamorphic testing
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.138704
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Alexander Martin Karl Stromberger
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E194 - Institut für Information Systems Engineering
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC17801656
-
dc.description.numberOfPages
50
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0002-2649-1958
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.mimetype
application/pdf
-
item.openairetype
master thesis
-
item.openaccessfulltext
Open Access
-
item.grantfulltext
embargo_20270228
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
