E-mail senden E-Mail Adresse kopieren
Forschungsgruppe

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.

Gruppenleiter:in

Andreas Zeller

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Mitglieder

Rafael Dutra

Michaël Mera

Ezekiel Soremekun

Dominic Steinhöfel
Placeholder

Leon Bettscheider
Placeholder

Marius Smytzek
Placeholder

Aman Roy
Placeholder

Stanimir Iglev

Neueste Veröffentlichungen

Jahr 2022

2022-06-16

"Synthesizing Input Grammars": A Replication Study

Konferenz / Medium

PLDI
PLDI 2022PLDI 2022

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen
2022-03-28

Input Invariants

Konferenz / Medium

UNSPECIFIED
ESEC/FSE 2022Technical Track

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen
2022-02

From Input Coverage to Code Coverage: Systematically Covering Input Structure with k-Paths

Artikel

ACM Transactions on Software Engineering and Methodology

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2021

2021-09

Delta-based Verification of Software Product Families

Konferenz / 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
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Herunterladen Detail-Seite besuchen
2021-08-20

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

Konferenz / 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
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Herunterladen Detail-Seite besuchen

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.