<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
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2027-02-17+01:00)
-
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.grantfulltext
embargo_20270228
-
item.cerifentitytype
Publications
-
item.openairetype
master thesis
-
item.mimetype
application/pdf
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E101 - Institut für Analysis und Scientific Computing