Clemens Bauer

Hi, I'm Clemens, a computer science student and enthusiast.

Publications

During my work as a Student Assistant in the SemImpact project, I contributed to the following publications:

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests

Johann Glock, Clemens Bauer, Martin Pinzger

arXiv preprint (2025)

Test Amplification

Test Generalization

Property-Based Testing

Symbolic Execution

View paper GitHub

AutoGuard: Reporting Breaking Changes of REST APIs from Java Spring Boot Source Code

Alexander Lercher, Clemens Bauer, Christian Macho, Martin Pinzger

IEEE SANER 2025

API Evolution

REST API

Backward compatibility

Continuous integration

View paper GitHub

Generating Accurate OpenAPI Descriptions from Java Source Code

Alexander Lercher, Christian Macho, Clemens Bauer, Martin Pinzger

arXiv preprint (2024)

OpenAPI Specification

Source Code Analysis

REST APIs

View paper GitHub

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.

Symbolic Execution Program Analysis

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.

Spring Testcontainers Microservice

GitHub