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

Rafael Dutra
© Tobias Ebelshäuser

Dominic Steinhöfel
Placeholder

Leon Bettscheider

Marius Smytzek

Stanimir Iglev

Tural Mammadov

Fengmin Zhu
Placeholder

Batuhan Serce
Placeholder

Marius Stutz
Placeholder

Nicolas Feid

José Antonio Zamudio Amaya

Alexi Turcotte

Alexander Liggesmeyer
Placeholder

Yiyong Liu

Laura Plein
Placeholder

Haoyang Liu

Valentin Huber

Most Recent Publications

Year 2025

2025-07-16

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Article

ACM Transactions on Software Engineering and Methodology

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2025-06-25

XAVIER: Grammar-Based Testing for XML Injection Attacks

Conference / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2025-06-25

Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper)

Conference / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2025-06-09

SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark

Conference / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Authors
Visit Detail Page
2025-04-10

FANDANGO: Evolving Language-Based Testing

Conference / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page

PROJECTS

CURRENT PROJECTS

Our research projects involve generating software tests, automated debugging and repair, analyzing mobile systems, analyzing user interfaces, and more; see our papers below for details. Our solutions typically apply and combine several techniques including dynamic analysis, static analysis, specification mining, test generation, natural language processing, machine learning, and formal languages.

My largest project these days is The Fuzzing Book—an interactive textbook on test generation (“fuzzing”) techniques. You can execute and edit the code right in your browser.