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

Michaël Mera

Ezekiel Soremekun
© Tobias Ebelshäuser

Dominic Steinhöfel
Placeholder

Leon Bettscheider

Marius Smytzek
Placeholder

Stanimir Iglev

Tural Mammadov
Placeholder

Fengmin Zhu
Placeholder

Simon Hasir

Most Recent Publications

Year 2023

2023-05-07

From Input to Failure: Explaining Program Behavior via Cause-Effect Chains

Conference / Medium

ICSE
Doctoral SymposiumICSE 2023

Tags
Threat Detection and Defenses
Authors
Download Visit Detail Page
2023-03-07

Learning Program Models from Generated Inputs

Conference / Medium

ICSE
Learning Program Models from Generated InputsDoctoral Symposium

Tags
Threat Detection and Defenses
Authors
Download Visit Detail Page

Year 2022

2022-11-14

Input Invariants

Conference / Medium

ESEC/FSE
ESEC/FSE 2022Technical Track

Tags
Trustworthy Information Processing S3
Authors
Download Visit Detail Page
2022-11

CLIFuzzer: Mining Grammars for Command-Line Invocations

Conference / Medium

ESEC/FSE
ESEC/FSE 2022ESEC/FSE 2022

Tags
Threat Detection and Defenses
Authors
Download Visit Detail Page
2022-09-01

SFLKit: A Workbench for Statistical Fault Localization

Conference / Medium

ESEC/FSE
DemonstrationsESEC/FSE 2022

Tags
Threat Detection and Defenses
Authors
Download 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.