David Michael Kaindlstorfer
Univ.Ass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Software Engineering, E194-01
Courses
2023W
- Advanced Software Engineering / 194.021 / VU
- Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
Publications
-
Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists
/
Kaindlstorfer, D. (2023). Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109623
Download: PDF (591 KB)