Samuel Pilz
Univ.Ass. Dipl.-Ing. / BSc
Roles
-
IT Services
Software Engineering, E194-01 -
IT Services
Business Informatics, E194-03 -
Curriculum Commission for Informatics
Substitute Member -
Curriculum Commission for Computer Engineering
Substitute Member
Publications
-
Testing Static Taint Analyzers with Equivalence Modulo Taint
/
Christakis, M., Isychev, A., Pilz, S., Tesarek, F., & Wüstholz, V. (2026). Testing Static Taint Analyzers with Equivalence Modulo Taint. In Proceedings of the ACM on Software Engineering (pp. 3201–3222). Association for Computing Machinery. https://doi.org/10.1145/3832231
Project: MirandaTesting (2023–2028) -
Improving rust mutation testing using static and dynamic program analysis
/
Pilz, S. (2023). Improving rust mutation testing using static and dynamic program analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110084
Download: PDF (655 KB)