E-mail senden E-Mail Adresse kopieren
Forschungsgruppe

Zeller

Software-Forschung

In Zellers Forschungsgruppe bei CISPA betreiben wir Softwareforschung. Wir entwickeln Tools und Techniken, die Entwickler:innen helfen, bessere Software zu erstellen ¬– durch automatisches Testen, Analysieren und Debuggen des Codes und des Entwicklungsprozesses. Unsere Forschungsprojekte umfassen die Generierung von Softwaretests, automatisierte Fehlersuche und -behebung, die Analyse mobiler Systeme, die Analyse von Benutzeroberflächen und vieles mehr – alles Bereiche, in denen wir weiterhin die akademische Forschung und die industrielle Praxis prägen.

Gruppenleiter:in

Andreas Zeller

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Mitglieder

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

Neueste Veröffentlichungen

Jahr 2025

2025-01-27

A Retrospective on Mining Version Histories to Guide Software Changes

Artikel

IEEE Transactions on Software Engineering

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2025-01-20

Finding Information Leaks with Information Flow Fuzzing

Artikel

ACM Transactions on Software Engineering and Methodology

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2024

2024-10-27

FixKit: A Program Repair Collection for Python

Konferenz / Medium

Automated Software Engineering Conference (ASE)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2024-10-27

A Generalized Approach for Solving Web Form Constraints

Konferenz / Medium

Automated Software Engineering Conference (ASE)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2024-09-11

Shaping Test Inputs in Grammar-Based Fuzzing

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper 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.