Clemens Bauer
Hi, I’m Clemens, a university assistant and PhD candidate in the Software Engineering Research Group (SERG) at the University of Klagenfurt.
Publications
During my work as a Student Assistant in the SemImpact project, I contributed to the following publications:
Generating accurate OpenAPI descriptions from Java source code
Journal of Systems and Software,
Volume 244,
2027,
113122,
ISSN 0164-1212
Generating Property-Based Tests for Java Methods
Master's Thesis, University of Klagenfurt (2026)
Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
arXiv preprint (2025)
AutoGuard: Reporting Breaking Changes of REST APIs from Java Spring Boot Source Code
IEEE SANER 2025
Education
PhD in Informatics (in progress)
University of Klagenfurt
2026 – Present
Research focus: Software Engineering, Software Testing, Program Analysis
Advisor: Dr. Martin Pinzger
Advisor: Dr. Martin Pinzger
Master (Dipl.-Ing.) in Informatics — with distinction
University of Klagenfurt
2024 – 2026
Specialization in Software Engineering
Master's Thesis: Generating Property-Based Tests for Java Methods
Master's Thesis: Generating Property-Based Tests for Java Methods
B.Sc. in Applied Informatics — with distinction
University of Klagenfurt
2021 – 2024
Specialization in Software Engineering
Bachelor's Thesis: Web API Evolution Management in GitLab
Bachelor's Thesis: Web API Evolution Management in GitLab
Projects
SymPreProc
SymPreProc (Symbolic Pre-Processor) is a tool for transforming Java methods so that they can be analyzed with Symbolic PathFinder (SPF) without relying on external dependencies or global state.
GitHub
controller-service
A backend service component designed to manage powerplants over Kafka. This is part of a group project focused on creating and maintaining a microservice-based system.
GitHub