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

Rahul Gopinath
Placeholder

Abhilash Gupta

Nikolas Havrikov

Johannes Lampel

Michaël Mera

Ezekiel Soremekun

Dominic Steinhöfel
Placeholder

Leon Bettscheider
Placeholder

Marius Smytzek

Most Recent Publications

Year 2021

2021-09

Delta-based Verification of Software Product Families

Conference / Medium

GPCE
Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE ’21), October 17–18, 2021, Chicago, IL, USA20th International Conference on Generative Programming: Concepts & Experiences

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2021-08-20

When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla

Conference / Medium

ESEC/FSE
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringESEC/FSE 2021

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2021-05-23

Input Algebras

Conference / Medium

ICSE
International Conference on Software Engineering (ICSE)International Conference on Software Engineering (ICSE)

Tags
Reliable Security Guarantees Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page
2021-05-08

Investigating Car Drivers’ Information Demand after Safety and Security Critical Incidents

Conference / Medium

CHI
ACM CHI Conference on Human Factors in Computing SystemsCHI 2021

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2021-03

Certified Abstract Cost Analysis

Conference / Medium

FASE
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxe24th International Conference on Fundamental Approaches to Software Engineering

Tags
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.