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
Placeholder

Stanimir Iglev

Tural Mammadov

Fengmin Zhu
Placeholder

Tobias Risch
Placeholder

Batuhan Serce
Placeholder

Simran Kathpalia
Placeholder

Marius Stutz
Placeholder

Nicolas Feid

José Antonio Zamudio Amaya

Neueste Veröffentlichungen

Jahr 2024

2024-07-15

AndroLog: Android Instrumentation and Code Coverage Analysis

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

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

Tests4Py: A Benchmark for System Testing

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

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

Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

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

Schematic Program Proofs with Abstract Execution

Artikel

Journal of Automated Reasoning

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

Language-Based Software Testing

Artikel

Communications of the ACM

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.