TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

David Michael Kaindlstorfer

Univ.Ass. Dipl.-Ing. / BSc

Role

Contact

2024W

 

  • Interrogation Testing of Program Analyzers for Soundness and Precision Issues / Kaindlstorfer, D., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Interrogation Testing of Program Analyzers for Soundness and Precision Issues. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 319–330). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695034
    Download: PDF (848 KB)
    Project: MirandaTesting (2023–2028)
  • Constraint-Based Test Oracles for Program Analyzers / Fleischmann, M., Kaindlstorfer, D. M., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Constraint-Based Test Oracles for Program Analyzers. In F. Vladimir, B. Ray, & M. Zhou (Eds.), ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 344–355). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695035
    Download: PDF (712 KB)
    Project: MirandaTesting (2023–2028)
  • Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists / Kaindlstorfer, D. M. (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)