Sign in

NON-TOXICNo ads · No shady algorithms

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Andreas Zeller

@AndreasZeller.mastodon.social.ap.brid.gy
13 followers 0 following 130 posts

Software researcher at cispa.de., working on fandango-fuzzer.github.io, www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more […] 🌉 bridged from ⁂ mastodon.social/@AndreasZeller, follow @ap.brid.gy to interact

PostsRepliesMedia
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 29/10/2026
Neural program modeling! Our newest server sports eight Nvidia RTX PRO 6000 GPU cards and 1.5 TB of RAM to train machine learning models that replicate the behavior of existing programs. The resulting models can instantly predict inputs for desired execution […] [Original post on mastodon.social]
Tural Mammadov in front of a compute server, holding a laptop with a Doom game on it.
010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 22/10/2026
"But do you find bugs with #Fandango?" You bet! This Summer, we reported more than 100 bugs and vulnerabilities to library and app maintainers. Here's a crash my student Norman Becker found in Apple Music using the #Fanbase audio specs we released on Tuesday: support.apple.com/en-mn/127115
About the security content of macOS Tahoe 26.5

This document describes the security content of macOS
Tahoe 26.5.

Additional recognition
Music
We would like to acknowledge Norman Becker for their assistance.
002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 14/10/2026
How can you tailor a test generator to focus on specific software features? At #ASE2026 today, José Antonio "Pepe" Zamudio Amaya presents our "Compás" work on "feature-focused test generation". Talk details and paper here […] [Original post on mastodon.social]
Pepe in front of a conference poster "Feature-Focused Test Generation"
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2026
At #ASE2026 tomorrow, visit these workshop presentations by my students Tural and Marius: * How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies * Can Open-Weight LLMs Predict Test Outcomes from […] [Original post on mastodon.social]
* How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies

* Can Open-Weight LLMs Predict Test Outcomes from Traces? A Cross-Subject Boundary Study on Tests4Py

* Failure Explanations: The Missing Abstraction between Debugging and Repair

* Execution Features and Their Relations to Faults: A Replication on Defects4J
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2026
Talk slides and details for "On Impact in Software Engineering Research" are now available. See you on Monday at #ASE2026: conf.researchr.org/details/ase-2026…
002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2026
Talk slides and details for "The Devil's Guide to Doing your PhD" are now available. See you on Monday at #ASE2026! conf.researchr.org/details/ase-2026…
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 09/10/2026
Advice to young researchers! On Monday at #ASE2026 in Munich, I will be giving two talks: * "The Devil's Guide to Doing your PhD" at the Doctoral Symposium; and * "On Impact in Software Engineering Research" at the New Faculty Symposium. Will post all slides after the talks. Meet me at ASE!
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 27/08/2026
I will be presenting our latest #Fandango work at the #GOTO conference on September 30 in Copenhagen, Denmark. Let's meet at GOTO! gotocph.com/2026
This is a talk announcement.

GOTO Copenhagen • Sep 28 - Oct 2, 2026
goto;

Fuzzing your way to better test inputs

Andreas Zeller
Faculty at CISPA Helmholtz Center for Information Security

gotocph.com
002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 24/08/2026
The #Fandango team is pulling off a long evening session because their advisor insists that the paper be ready one day _before_ the deadline
Evening dinner with the Fandango team
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/08/2026
Proud greetings from the 💃 #Fandango headquarters! The all-new 1.2 release of our specification-guided #Fandango fuzzer brings many under-the-hood improvements, along with new, useful user-facing features and documentation. Check out the release notes! […] [Original post on mastodon.social]
Norman Becker, Valentin Huber, and Tim Scheckenbach in the Fandango HQ office. The empty seats belong to Alexander Liggesmeyer and José Antonio Zamudio Amaya, two more great members of the #Fandango team.
011 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 31/07/2026
At #Dagstuhl with my team and a few guests, setting our research agenda for the next 12 months. Big things coming!
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/07/2026
There's an ICSE 2020 paper of mine, "Debugging Inputs", that, according to Google Scholar, has a whopping 12,800 citations. Most cited paper ever? Alas, ACM DL is closer to the truth with 1 citation (actually, a self-citation). Does anyone know how to report wrong numbers to the Google Scholar team?
Screenshot of Google Scholar, listing 12,832 citations; and contrasting screenshot of ACM DL, listing 1 citation for the same article.
101 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/07/2026
I have been selected into the inaugural class of the ACM SIGSOFT Software Engineering Academy: www2.sigsoft.org/academy/inaugural-…
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 07/07/2026
Reunited after 20 years! These are Jacek Śliwerski, Tom Zimmermann, and Andreas Zeller, meeting twenty years after creating the foundational #SZZ algorithm to relate bugs to associated changes. See us telling the story of the work in our impact paper award […] [Original post on mastodon.social]
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/07/2026
Today at 12:15 in the #FSE2026 doctoral symposium: My PhD student Alexander Liggesmeyer presents his work on protocol testing and fuzzing with #Fandango: conf.researchr.org/details/fse-2026… Paper available!
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/07/2026
Back again! Five weeks ago, an artificial lens in my right eye had dislocated itself; I was effectively one-eyed, and my doctors strongly discouraged me from reading - so, lots of talking and phoning, but only the most important mails, and no papers at all. I […] [Original post on mastodon.social]
Andreas Zeller in a hospital gown with a large white patch over his right eye
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/04/2026
This is the output I want. What input do I need? Today at ICSE - International Conference on Software Engineering, Tural Mammadov presented his work on Modelizer - the framework that learns from synthesized program executions to predict inputs from outputs […] [Original post on mastodon.social]
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 14/04/2026
In the #ICSE2026 Wednesday 14:00 session, I will be giving my Harlan D. Mills Award talk (likely at 14:10 already). Enjoy! conf.researchr.org/details/icse-202…
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 10/04/2026
On my way to Rio de Janiero, visiting #ICSE2026 - here with Tural Mammadov. See you soon!
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 16/03/2026
For decades, my mission was to help developers build better software. Now I help anyone, including AI: andreas-zeller.info
Homepage of Andreas Zeller, now with the text "help build better software" rather than "help _developers_ build better software"
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 10/03/2026
In a call "retrieve(account: string)", nobody checks the contents of "account". What if we could specify its type not just as a string, but as a formal language - say, a regex "0-9]+"? In our new paper "FLAT: Formal Languages as Types" with Fengmin Zhu, we do […] [Original post on mastodon.social]
FLAT: Formal Languages as Types
And Their Applications in Testing
FENGMIN ZHU, CISPA Helmholtz Center for Information Security, Germany
ANDREAS ZELLER, CISPA Helmholtz Center for Information Security, Germany

Programmers regularly use strings to encode many types of data, such as Unix file paths, URLs, and email addresses. They are
conceptually different, but existing mainstream programming languages treat them as the same string type. This is problematic:
the type system allows, for instance, malicious HTML text to be passed to a function expecting an email address.
To distinguish conceptually different string types and to avoid potential vulnerabilities, we regard formal languages as types
(FLAT), thereby restricting the set of valid strings using context-free grammars and, if needed, semantic constraints. Applying
this type-based approach, we offer a unified solution for string API documentation, input validation, malicious input detection,
language-based fuzzing, and test oracles, all at once, based on user-annotated formal language types and, if necessary, pre-
and post-conditions. We implement this idea and present FLAT-PY, a testing framework for Python. By attaching annotations
directly to Python code, FLAT-PY automatically performs runtime type checking via code instrumentation and reports any
detected type errors as soon as possible...
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 09/03/2026
My successor as a professor will be some AI video tutor with the appearance of Brad Pitt, available 24/7, unlimited patience, personalized towards each student, the ability to teach any subject ever discussed in a textbook, and a cost of < 1$/hour. Good thing I can still do research! (Now wait...)
Brad Pitt in front of a classroom (AI-generated)
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/03/2026
With more and more AI-generated code, comprehensive system testing becomes more important than ever. Our new paper "Language-Based Protocol Testing" (with Alexander Liggesmeyer and Pepe Zamudio), shows how to specify and test all details of how programs […] [Original post on mastodon.social]
Over the past decade, the automated generation of test inputs has made significant advances. Modern fuzzers and test generators easily
produce complex input formats that do systematically cover the input and execution space. Testing protocols, though, has remained a
frontier for automated testing, as a test generator has to interact with the program under test, producing messages that conform to
the current state of the system.
In this paper, we introduce language-based protocol testing, the first approach to specify, automatically test, and systematically cover
the full state and input space of protocol implementations. We specify protocols as interaction grammars—an extension of context-free
grammars that tag each message element with the communication party that is in charge of producing it. Interaction grammars embed
classical state models by unifying states, messages, and transitions all into nonterminals, and can be used for producing interactions as
well as parsing them, making them ideally suited for testing protocols. 
 By systematically
covering the interaction grammar and solving the associated constraints, FANDANGO achieves comprehensive coverage of the protocol
interactions, resulting in high code coverage and a thorough assessment of the program under test.
110 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 01/03/2026
On my way to Savannah, Georgia to an IFIP WG 4.3 meeting, where I’ll present our work on Parameterized Compiler Testing (a joint work with my fantastic co-workers Addison Crump and Alexi Turcotte)
100 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 26/02/2026
#Fandango 1.1 is now available! With this release, #Fandango becomes a full-fledged _protocol fuzzer_, happily exploring states and messages of protocols such as FTP or DNS. Thanks to José Antonio Zamudio Amaya. Valentin Huber, Alexander Liggesmeyer, and […] [Original post on mastodon.social]
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 13/02/2026
About time: A multi-celebration for becoming a member of Academia Europaea, my SIGSOFT Influential Educator Award, my 60th birthday, becoming an IEEE Fellow, _and_ getting the 2026 IEEE Harlan D. Mills Award. With cake and fizzy drinks!
Andreas Zeller and PhD students
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 05/02/2026
I am happy to report that I have been named the recipient of the 2026 Harlan D. Mills award "for sustained contributions to software debugging, program analysis, mining software repositories, and automated test generation." Let me thank my nominator Tom […] [Original post on mastodon.social]
Dear Prof. Zeller,
Upon recommendation of the IEEE Computer Society's Awards Committee and the approval of the society's Board of Governors, I am delighted to inform you have been selected to receive the
2026 Harlan D. Mills Award
«For sustained contributions to software debugging, program analysis, mining software repositories, and automated test generation."
The Harlan D. Mills Award recognizes researchers and practitioners who have demonstrated long-standing, sustained, and impactful contributions to software engineering practice and research through the development and application of sound theory. Further information about the award, including a list of past recipients, may be found at https://www.computer.org/volunteering/awards/mills
The award consists of a $3,000 honorarium, memento, and the invitation to give a talk during the
2026 International Conference on Software Engineering (ICSE), co-sponsored by IEEE Computer Society Technical Community on Software Engineering (TCSE). The conference will be held from 12 April through 18 April 2026 in Rio de Janeiro, Brazil. The conference coordinators will handle the award presentation arrangements.
333 3
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/02/2026
How do execution features relate to failures? In this new @ACM TOSEM paper, Marius Smytzek, Martin Eberlein, Lars Grunske, and I analyze which execution features beyond code coverage correlate best with failures and lead to accurate explanations of failure […] [Original post on mastodon.social]
Fault localization aims to identify code regions responsible for failures. Traditional techniques primarily correlate statement
execution with failures; however, program behavior involves diverse execution features, including variable values, branch
conditions, and definition-use pairs, which can provide richer diagnostic insights.
This paper comprehensively investigates execution features for fault understanding, addressing two complementary goals.
First, we conduct an empirical study of 310 bugs across 20 projects, analyzing 17 execution features and assessing their
correlation with failure outcomes. Our findings suggest that fault localization benefits from a broader range of execution
features: (1) Scalar pairs exhibit the strongest correlation with failures; (2) Beyond line executions, def-use pairs and functions
executed are key indicators for fault localization; and (3) Combining multiple features enhances effectiveness compared to
relying on individual features.
Second, building on these insights, we introduce a debugging approach that learns relevant features from labeled test
outcomes. The approach extracts fine-grained execution features and trains a decision tree to differentiate passing and failing
runs. The trained model generates fault diagnoses that explain the underlying causes of failures.
Our evaluation demonstrates that the generated diagnoses achieve high predictive accuracy. ...
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/01/2026
Fuzzing software becomes much more effective if you can generate _valid_ inputs. We have now built the first approach to _statically_ extract complete and precise input grammars from parser code, producing syntactically valid and diverse inputs by […] [Original post on mastodon.social]
076 7
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 27/01/2026
After a visit to Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, seeing my awesome colleagues Thorsten Holz, Marcel Böhme, @gannimo, and many more, now on my way to Paris to celebrate ten years of Software Heritage with the great Roberto Di Cosmo
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 08/01/2026
A researcher used more than 2,000 em-dashes in his papers, revealing AI-based manipulation in 400+ papers since 1985. Professor Zeller claims he "typed" these dashes into the paper by using "two hyphens" and a "typesetting" system.
$ cd ~/Papers/
$ grep -e '[ ~]-- ' */*.tex | wc -l
    2258
$
116 6
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 19/12/2025
In my vision talk "Should AI Coders Experiment More?" last Monday, I sketched how future AI "super-coders" would learn from their own experiments with software to acquire large amounts of knowledge and far surpass current LLM-based AI coders. The talk is now […] [Original post on mastodon.social]
Your Future Program-Specific Expert
• Can exactly predict the effect of some input or some code change
• Trained on millions of code + input experiments with your software
• Can tell what needs to be changed or input to achieve a particular effect
• Keeps on experimenting and learning 24/7
• Can coordinate with other AI experts to learn even more

> There’s been an explosion! What could this be?
< My data shows this happened right after stirring the oxygen tank, suggesting a malfunction in this component.

> Can you change the configuration to minimize energy consumption while keeping oxygen levels up?
< Here’s a configuration that, based on my simulation experiments, will do that 

> Can we change the flight software to get back to Earth ASAP?
< Great idea, Andreas! I’d propose the following code changes, all tested already …

> What is the best order in which to turn the components back on?
< Start with life support. Then turn on the flight computer …
010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 08/12/2025
Time to get serious again. New blog post "Reviewer-Author Collusion Rings and How to Fight Them": andreas-zeller.info/2025/12/07/Revi…
Recently, I again heard rumors of a _collusion ring_ in Software Engineering research – a group of authors and reviewers who agree to favorably review each other’s papers. I have no evidence that such a ring actually exists, but if I were to set up one, here’s how:

Use a messaging app like WhatsApp or WeChat to create a user group.
Give the group an innocuous name, say “Researchers in XYZ”, where XYZ is some currently popular research topic.
Post papers you wrote, discuss research results, complain about reviewers – in short, do whatever researchers talk about with each other.
So, what could be wrong with this? The important thing is that there is an implicit understanding that all group members will review each other’s papers favorably. Of course, this would never admitted or discussed in my group: First rule of Fight Club is you do not talk about Fight Club. If someone were to check the group, it’s just a regular chat group of XYZ lovers ...
111 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 07/12/2025
Bonus material for The LaTeX Korrektor! Some of you asked: "What are these photos and posters in the background?" Here they come, enlarged and with some details. Enjoy! #LaTeX #LaTeXKorrektor In case you missed it, watch all six episodes of the LaTeX […] [Original post on mastodon.social]
A description of the items shown in the LaTeX Korrektor background:

* Diomidis Spinellis
, Author of
 “Advice for writing LaTeX documents”
* LaTeX 2ε 
Cheat Sheet
* Helmut Kohl
, German Chancellor
 1982–1988
* A fictitious
 event poster "Lack Leder LaTeX, Hamburg"
* A fictitious
 LaTeX 
propaganda 
poster
100 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/12/2025
Series finale! The LaTeX Korrektor 6/6 - Ten Commandments www.youtube.com/shorts/HAodiqJwyD4 #LaTeX #LaTeXKorrektor Read the LaTeX advice by Diomidis Spinellis (@CoolSWEng): github.com/dspinellis/latex-advice All six episodes of the LaTeX […] [Original post on mastodon.social]
001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 05/12/2025
Why, oh why does your bibliography have all titles in lowercase? WHY? The LaTeX Korrektor 5/6 - Citations: www.youtube.com/shorts/0nk72lkp4Y0 #LaTeX #LaTeXKorrektor Missed previous episodes? This playlist has them all […] [Original post on mastodon.social]
010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 04/12/2025
Can one reject papers because of bad typography? The LaTeX Korrektor 4/6 - Math Mode: www.youtube.com/shorts/mc8roaLdEEA #LaTeX #LaTeXKorrektor Missed previous episodes? This playlist has them all: www.youtube.com/watch?v=EhsMdQQJ_bE…
111 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/12/2025
This Friday at 11:00 am, I will be giving a talk on "Language-Based Software Testing" at Imperial College in London, covering our latest and greatest in testing systems with highly complex inputs and interactions. Details here: srg.doc.ic.ac.uk/seminars/25-12-zel…
Language-Based Software Testing
with José Antonio Zamudio Amaya, Marius Smytzek, Valentin Huber, Addison Crump, Alexi Turcotte, and many others

Random test input generators (fuzzers) have become the prime detectors of vulnerabilities in software. While generic fuzzers easily adapt to arbitrary programs under test, they offer very little possibilities to control or shape the generated inputs. In this talk, I present FANDANGO, a novel language-based fuzzer that combines grammars with predicates over input elements to produce inputs that satisfy all the given predicates. Examples of what such predicates can express include

input format constraints (“The length field should be equal to the length of the payload”)
code features (“Any variable used must be declared beforehand”)
statistical distributions (“Across all inputs, the voltage field must follow a Gaussian distribution, but never exceed 20 mV”)
data collections (“The credit-card-number field should come from the Python faker library”)
and more – actually, any property that can be expressed in a Python expression.

In our experiments, FANDANGO efficiently solved complex file formats and satisfied demanding predicates, up to full-fledged programming languages as test inputs for compilers. This opens the door towards personalized fuzzing, where testers can make use of their own knowledge and LLM knowledge to very effectively fuzz systems. Includes live demos!

Fandango is available at https://fandango-fuzzer.github.io/
021 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/12/2025
The LaTeX Korrektor 3/6 - Vertical Space: www.youtube.com/shorts/n9iLfnHMcVI #LaTeX #LaTeXKorrektor
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 02/12/2025
The LaTeX Korrektor 2/6 - Dashes: www.youtube.com/shorts/oDDbgwqZxxQ
010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 01/12/2025
For your enjoyment: "The LaTeX Korrektor" www.youtube.com/shorts/EhsMdQQJ_bE #LaTeX #LaTeXKorrektor
010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/11/2025
I have been selected to become an IEEE Fellow for "contributions to analyzing software and its development process". Happy and honored! Let today be my "thanks giving" day: A huge thank you to all of you who endorsed and supported me - today and throughout […] [Original post on mastodon.social]
Dear Prof. Andreas Zeller,

Recognizing the achievements of its members is an important part of the mission of IEEE. Each year, following a rigorous evaluation procedure, the IEEE Fellow Committee recommends a select group of recipients for elevation to IEEE Fellow. Less than 0.1% of voting members are selected annually for this member grade elevation.

It is my great pleasure to inform you that the IEEE Board of Directors, at its November 2025 meeting elevated you to IEEE Fellow, effective 1 January 2026 with the following citation:

for contributions to analyzing software and its development process
112 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 20/11/2025
Today 11:20 at #ASE2025/#AgenticSE, we have Kuangxiangzi Liu show how to automatically turn natural language protocol specs into #Fandango formal specs, ready for massive automatic test generation […] [Original post on mastodon.social]
002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/11/2025
And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at #ASE2025
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/11/2025
When you generate test inputs, how can you tell whether they pass or fail? Our BASHIRI tool learns such oracles with 95% accuracy - demo today at #ASE2025: conf.researchr.org/details/ase-2025…
042 4
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/11/2025
Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions
177 7
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/11/2025
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/11/2025
At #InnoSoftDays 2025 in #Sevilla today, presenting novel ways for language- and AI-based software testing with #Fandango www.innosoftdays.com
Andreas Zeller - New Ways to Test Software using AI
November 6, 2025
10:30 AM
Room: 'Salón de grados'
About Andreas Zeller...
Andreas Zeller is a faculty member at the CISPA Helmholtz Center for Information Security and a Professor of Software Engineering at Saarland University, Germany. There, Zeller leads a globally recognized research group on Software Engineering and Automated Testing.

His research on automated debugging, mining software archives, specification mining, and security testing has had a major impact both in academia and in the software industry. This is evidenced by the numerous international awards he has received.

Zeller is also a distinguished member of the ACM (ACM Fellow). He holds an ACM SIGSOFT Outstanding Research Award, and has received two ERC Advanced Grants, among the most competitive research fundings in Europe for individual researchers.

Currently, he and his team are developing cutting-edge projects in the field of software testing. Among his team members is José Antonio Zamudio, a former ETSII student and now a PhD candidate under Zeller’s supervision.
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/10/2025
Today I turn 60 – and what a jorney this has been! Grateful for family, friends, students, colleagues, and a scientific community that keeps me inspired. The big party? You’ll have to wait four years, when I hit my (binary) 1,000,000th birthday. 😉
Today is my 60th birthday – and what a journey it has been! I've been very lucky to always work in environments that shared my focus on long-term impact and usefulness, a strategy that has served me well. I'm deeply grateful to my family, friends, students, and colleagues who have all inspired and supported me along the way, and to my wonderful scientific community for its constant encouragement and guidance. (That includes you, reviewer 2!)

So, where's the party, and why are you not invited? As a true computer scientist, I value powers of two higher than multiples of ten. So you'll have to wait another four years, when I'll celebrate my (binary) 1,000,000th birthday – hopefully in the astounding new CISPA building. "Will you still be sending me a valentine, birthday greetings, bottle of wine? 🎶", when I'm sixty-four? Looking back – and looking forward!

- Andreas
000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2025
On my way to ACM CCS 2025 in Taipei (via Istanbul). Meet me there!
010 1