Record link: 
https://doi.org/10.34726/hss.2026.138704
http://hdl.handle.net/20.500.12708/226914
-
Title: 
Validating Solidity Compilers via Assertion-Driven Metamorphic Testing
en
Citation: 
Stromberger, A. M. K. (2026). Validating Solidity Compilers via Assertion-Driven Metamorphic Testing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.138704
-
reposiTUm DOI: 
10.34726/hss.2026.138704
-
CatalogPlus: 
AC17801656
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Stromberger, Alexander Martin Karl 
-
Advisor: 
Christaki, Maria 
-
Organisational Unit: 
E194 - Institut für Information Systems Engineering 
-
Date (published): 
2026
-
Number of Pages: 
50
-
Keywords: 
compiler testing; metamorphic testing; test oracles; smart contract security; Solidity; EVM; symbolic execution; fuzzing
en
Additional information: 
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2027-02-17+01:00)
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Fulltext (Version of Record (published version))
Adobe PDF
(658.21 kB)
Open Access In Copyright
Embargo. Accessible from 28.02.2027
Show full item record

Page view(s)

18
checked on Mar 13, 2026

Download(s)

1
checked on Mar 13, 2026

Google ScholarTM

Check