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

Alexi Turcotte

Alexander Liggesmeyer
Placeholder

Yiyong Liu

Laura Plein
Placeholder

Haoyang Liu

Valentin Huber

Neueste Veröffentlichungen

Jahr 2025

2025-07-16

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Artikel

ACM Transactions on Software Engineering and Methodology

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

XAVIER: Grammar-Based Testing for XML Injection Attacks

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

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

Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper)

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

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

SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark

Konferenz / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Autor:innen
Detail-Seite besuchen
2025-04-10

FANDANGO: Evolving Language-Based Testing

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.