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

Placeholder

Rafael Dutra

Rahul Gopinath
Placeholder

Abhilash Gupta

Nikolas Havrikov

Sascha Just

Alexander Kampmann
Placeholder

Konstantin Kuznetsov

Johannes Lampel

Björn Mathis

Michaël Mera
Placeholder

Banji Olorundare

Nataniel Pereira Borges Jr.
Placeholder

Jenny Rau

Ezekiel Soremekun

Most Recent Publications

Year 2020

2020-11-09

Mining Input Grammars from Dynamic Control Flow

Conference / Medium

ESEC/FSE
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page
2020-10

Debugging Inputs

Conference / Medium

ICSE
42nd International Conference on Software Engineering

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2020-10

Poster: Debugging Inputs

Conference / Medium

ICSE
42nd International Conference on Software Engineering Companion

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2020-07-18

Learning Input Tokens for Effective Fuzzing

Conference / Medium

ISSTA
ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page
2020-06-13

When does my Program do this? Learning Circumstances of Software Behavior

Conference / Medium

ESEC/FSE
ESEC/FSE 2020

Tags
Secure Mobile and Autonomous Systems Empirical & Behavioral Security
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.