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

Michaël Mera

Ezekiel Soremekun
© Tobias Ebelshäuser

Dominic Steinhöfel
Placeholder

Leon Bettscheider

Marius Smytzek
Placeholder

Stanimir Iglev

Tural Mammadov

Fengmin Zhu
Placeholder

Simon Hasir
Placeholder

Tobias Risch

Neueste Veröffentlichungen

Jahr 2023

2023-05-07

From Input to Failure: Explaining Program Behavior via Cause-Effect Chains

Konferenz / Medium

ICSE
Doctoral SymposiumICSE 2023

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Herunterladen Detail-Seite besuchen
2023-05-03

Fuzzing Embedded Systems Using Debug Interfaces

Konferenz / Medium

ISSTA
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023).ISSTA 2023

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

Fuzzing Embedded Systems Using Debug Interfaces

Konferenz / Medium

ISSTA
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023).ISSTA 2023

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

Learning Program Models from Generated Inputs

Konferenz / Medium

ICSE
Learning Program Models from Generated InputsDoctoral Symposium

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

Jahr 2022

2022-11-14

Input Invariants

Konferenz / Medium

ESEC/FSE
ESEC/FSE 2022Technical Track

Tags
Vertrauenswürdige Informations­verarbeitung S3
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.