At #Dagstuhl with my team and a few guests, setting our research agenda for the next 12 months. Big things coming!

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?

In the past months, I have had a number of great PhD students pass their exams. Let me start with Masudul Hasan Masud for "Addressing Socio-Technical Blind Spots in Modern Software Systems": www.linkedin.com/feed/update/... Masudul is on the job market – highly recommended!

#phd #dissertation #defense #research #saarbrücken #academicjourney | Masudul Hasan Masud | 14 comments

I am happy to share that I have successfully defended my dissertation, "Addressing Socio-Technical Blind Spots in Modern Software Systems,” at CISPA Helmholtz Center for Information Security ( Saarlan...

linkedin.com

I have been selected into the inaugural class of the ACM SIGSOFT Software Engineering Academy: www2.sigsoft.org/academy/inau...

Besides code coverage, there are several execution features that can correlate with failure and thus help in localizing faults. See the talk of Marius Smytzek today 15:00 at #FSE2026: conf.researchr.org/details/fse-...

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach (FSE 2026 - Journal-First Paper) - FSE 2026

The ACM International Conference on the Foundations of Software Engineering (FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most rec...

conf.researchr.org

Are you into program repair or automated debugging? Today at #FSE2026 - Two presentations by Marius Smytzek on how to boost fault localization: * 12:10 conf.researchr.org/details/fse-... * 16:30 conf.researchr.org/details/fse-... Paper available - see you!

Denoising Fault Localization with Test Line Proximity (FSE 2026 - Research Papers) - FSE 2026

The ACM International Conference on the Foundations of Software Engineering (FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most rec...

conf.researchr.org

Congrats to @andreaszeller.bsky.social for receiving his 11th Impact Paper Award at FSE 2026 in Montréal today! He is honored for the SZZ-algorithm, which he presented together with Jacek Śliwerski and Thomas Zimmermann in 2005. Read our interview with Andreas at cispa.de/en/interview...

“I have high standards when it comes to coolness”: In conversation with Professor Dr. Andreas Zeller

Today, Andreas Zeller will receive the 11th Impact Paper Award of his career at the ACM International Conference on the Foundations of Software Engineering. These special awards are reserved for scien...

cispa.de

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 at #FSE2026 Wednesday at 08:30: conf.researchr.org/details/fse-...

Today at noon at #SSBSE2026, see how we use Search-Based Testing to quickly solve complex input constraints in the #Fandango project – orders of magnitude faster than with traditional constraint solvers. With Pepe Zamudio and Marius Smytzek; paper available conf.researchr.org/details/ssbs...

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-... Paper available!

Today at 10:05 at #AIWARE2026: Norman Becker asks, "Can LLMs Really Reason about Code?" 2026.aiwareconf.org/details/aiwa... This exciting work was done with Tural Mammadov; paper and slides available.

Today at #FSE2026 in Montreal: A 180-minute tutorial on our next generation #Fandango fuzzer, bringing high quality input generation to a program near you. 14:00-17:30 in Concordia SGW Campus, MB 2.430 More about #Fandango: fandango-fuzzer.github.io Room info: conf.researchr.org/room/fse-202...

I’m back! Five weeks ago, an artificial lens in my eye had dislocated itself; I was effectively one-eyed, and my doctors strongly discouraged me from reading. I now had surgery, and things look good. It‘ll take me weeks to catch up with mails and reviews, but I’ll see you soon, starting at #FSE!

At ICST workshops today, giving a keynote on how test generation and dynamic analysis will boost AI agents: conf.researchr.org/details/ise-...

Specification-based fuzzers are super-effective - but writing their formal specs needs lots of manual effort. Wednesday at 14:20, we show how to turn natural-language protocol specs (such as RFCs) into formal #Fandango specs automatically! Details and paper: conf.researchr.org/details/icst...

Meet the #Fandango makers! If you're at #ICST26 and would like to see our language-based fuzzer in action, meet us in the tools and data showcase today at 14:00 and tomorrow at 10:30. Details and paper: conf.researchr.org/details/icst...

"Please produce an input that is (1) valid, (2) as short as possible, and (3) results in a maximum of code coverage." How can you tell a fuzzer to do this? Today 14:50 at #ICST26, see the latest extension of our #Fandango fuzzer. Details and paper: conf.researchr.org/details/icst...

And the day finishes with tiny Elversberg, from a town of 13,000, getting promoted to the Bundesliga. Pretty sure every citizen of the town is in the stadium, and half of them are on the pitch.

On my way to Daejeon, South Korea for the #ICST conference, listening to a live football audio stream. Can you guess which one?

I got interviewed by Nature on how to catch bugs in scientific software. My "Basics of Debugging 101" were: 1. Proceed systematically 2. Find out when the bug occurs 3. Explain the bug to a rubber duck 4. Write tests that replicate the bug Enjoy the read! www.nature.com/articles/d41...

Got bugs? Here’s how to catch the errors in your scientific software

Computer scientists share their advice for ensuring that your scientific software does what it’s supposed to do.

nature.com

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 and vice versa: dl.acm.org/doi/10.1145/...

I‘m gonna need a bigger suitcase #ICSE2026

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...

On my way to Rio de Janiero, visiting #ICSE2026 - here with Tural Mammadov. See you soon!

"If you don't test your software, someone else will." Others may discover bugs and vulnerabilities. Here’s where Fandango, CISPA’s new tool for automated software testing comes in. More from CISPA-Faculty @andreaszeller.bsky.social youtube.com/shorts/LuPgQ...

Andreas Zeller on software testing and it's optimization

YouTube video by CISPA

youtube.com

Visiting #FSE2026 in Montreal? Do not miss our #Fandango tutorial on Sunday, July 5, where we show how to systematically generate inputs and interactions for comprehensive software testing (with Pepe Zamudio, Marius Smytzek, and Alexander Liggesmeyer). Find Fandango at fandango-fuzzer.github.io

The IEEE Computer Society interviewed me on my past and the Future of Automated Debugging and Software Testing. Enjoy! www.computer.org/publications...

The Future of Automated Debugging and Software Testing with Harlan D Mills Award Winner Andreas Zeller

Hardware-based protections validate what software cannot independently verify. They shift visibility from reactive observation to foundational assurance. This article takes a deeper look at the what, ...

computer.org

For decades, my mission was to help developers build better software. Now I help anyone, including AI: andreas-zeller.info

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, we do exactly this - for better type checking and even test generation: doi.acm.org?doi=3799978

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...)