About
Markus Fleischmann is a Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics and the Department of Software Engineering. His work focuses on improving program analyzers through constraint-based testing and formal verification.
- Role: Researcher (PreDoc)
- Contact: markus.fleischmann@tuwien.ac.at
- Project: MirandaTesting (2023–2028): Automated soundness testing of program analyzers
Research areas include:
- Program analysis and testing
- Constraint-based verification
- Formal methods in software engineering
Markus is based in Room HB0222 at Favoritenstrasse 9, and his recent publications emphasize automated testing frameworks for program analyzers.
0Publications listed
Find Markus Fleischmann elsewhere
Related Searches
You Might Also Like
- DDavid Michael KaindlstorferVienna University of Technology · Researcher
- EEva Maria WagnerVienna University of Technology · Researcher
- AAnastasia IsychevVienna University of Technology · Researcher
- MMark Jonathan ChimesVienna University of Technology · Researcher
- CChristoph HochrainerVienna University of Technology · Researcher
- TTobias NießenVienna University of Technology · Researcher