Andreas Zeller

@AndreasZeller
1.3K Followers
106 Following
437 Posts
Software researcher at https://cispa.de., working on https://fandango-fuzzer.github.io, https://www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more. Testing, debugging, analyzing, and protecting software for a better world.
CountryGermany
Websitehttps://andreas-zeller.info
Twittodonhttps://twittodon.com/share.php?t=AndreasZeller&[email protected]
At ICST workshops today, giving a keynote on how test generation and dynamic analysis will boost AI agents: https://conf.researchr.org/details/ise-2026/ise-2026/1/The-power-of-experimentation
The power of experimentation (Intelligent SE 2026) - Intelligent SE 2026

ISE Goals Many researchers utilize AI techniques. However, AI techniques, including deep learning techniques and LLMs, have probabilistic characteristics, so it is difficult to verify and validate AI-based software systems. In this regard, this workshop aims to discuss intelligent methods for verifying AI techniques in various aspects. This workshop encourages researchers to present interesting ideas and demonstrations in various aspects of safety, security, explainability, and fairness, as well as in domains such as autonomous flights and autonomous driving. Researchers can discuss how th ...

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 specs automatically - great perspectives for fuzzing! Details and paper:
https://conf.researchr.org/details/icst-2026/icst-2026-research/3/Synthesizing-Precise-Protocol-Specs-from-Natural-Language-for-Effective-Test-Generati
Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation (ICST 2026 - Research Papers) - ICST 2026

The Research Papers track of ICST 2026 invites high-quality submissions in all areas of software testing, verification, and validation. Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies and empirical research papers are also welcome. For more information, check out the Call for Papers.

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:

https://conf.researchr.org/details/icst-2026/icst-2026-testing-tools-and-data-showcase/1/Constraint-Driven-Fuzzing-at-Scale-with-FANDANGO

Constraint-Driven Fuzzing at Scale with FANDANGO (ICST 2026 - Testing Tools and Data Showcase) - ICST 2026

News Proceedings Access (17 May 2026) From 18 May, the proceedings will be available online for participants. You will be able to find the access information once you signed in the registration website: https://icst2026.genimice.com Welcome to the official website of the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2026 edition. ICST serves as a premier platform uniting researchers, scientists, engineers, and practitioners worldwide to showcase their cutting-edge research findings, innovative ideas, and practical applications in the domain ...

"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:

https://conf.researchr.org/details/icst-2026/icst-2026-research/12/Combining-Input-Constraints-with-Execution-Goals

Combining Input Constraints with Execution Goals (ICST 2026 - Research Papers) - ICST 2026

The Research Papers track of ICST 2026 invites high-quality submissions in all areas of software testing, verification, and validation. Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies and empirical research papers are also welcome. For more information, check out the Call for Papers.

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! https://www.nature.com/articles/d41586-026-01261-w

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.

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: https://dl.acm.org/doi/10.1145/3748720
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! https://conf.researchr.org/details/icse-2026/icse-2026-main-plenaries/8/IEEE-Computer-Society-Harlan-D-Mills-Award-and-Talk-by-Andreas-Zeller-Should-Comput
On my way to Rio de Janiero, visiting #ICSE2026 - here with Tural Mammadov. See you soon!