Send email Copy Email Address
Research Group

Zeller

Software Research

At Zeller's group at CISPA, we do software research. We create tools and techniques that help developers build better software – by automatically testing, analyzing, and debugging its code and its development process. Our research projects involve generating software tests, automated debugging and repair, analyzing mobile systems, analyzing user interfaces, and more – all areas in which we continue to shape academic research and industrial practice.

Head of Group

Andreas Zeller

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Members

Marius Smytzek

Tural Mammadov

Fengmin Zhu
Placeholder

Batuhan Serce
Placeholder

Marius Stutz

José Antonio Zamudio Amaya

Alexi Turcotte

Alexander Liggesmeyer

Laura Plein
Placeholder

Haoyang Liu

Valentin Huber
Placeholder

Bushra Ashfaque
Placeholder

Alireza Kheradmand

Tim Scheckenbach

Norman Becker

Abdullah Alhamdan

Most Recent Publications

Year 2026

2026-08-04

Feature-Focused Test Generation

Conference / Medium

Automated Software Engineering Conference (ASE)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2026-07-10

Search-Based Generation of Complex Inputs with FANDANGO

Conference / Medium

SSBSE 2026 Search-Based Generation of Complex Inputs with FANDANGO

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2026-07-05

Can LLMs Really Reason about Code? Studying How Well LLMs Understand the Relation between Input, Code, and Output

Conference / Medium

ACM International Conference on AI-Powered Software (AIware) Can LLMs Really Reason about Code? Studying How Well LLMs Understand the Relation between Input, Code, and Output

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2026-07-05

Testing Protocols with Formal Languages

Conference / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE-Companion) Testing Protocols with Formal Languages

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2026-07-05

Generating Test Inputs and Interactions with the Fandango Fuzzer:
How to Test Complex Systems Automatically and Exhaustively

Conference / Medium

Conferences: European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE companion) Generating Test Inputs and Interactions with the Fandango Fuzzer: How to Test Complex Systems Automatically and Exhaustively

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page