Alexander Stromberger
Univ.Ass. Dipl.-Ing. / BSc
Research Areas
- Software Testing, Formal Methods, Cybersecurity
About
My research interest lies at the intersection of software engineering and formal methods, with a focus on improving software reliability through automated techniques such as program analysis and fuzzing. I am also drawn to foundational topics like SMT solving and mathematical optimization.
Roles
-
PreDoc Researcher
Software Engineering, E194-01 -
Curriculum Commission for Informatics
Substitute Member
Courses
Publications
- Validating solidity compilers via assertion-driven metamorphic testing / 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