Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Andreas Zeller
Loading...
"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...
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...
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.
Andreas Zeller
Andreas Zeller
On my way to Daejeon, South Korea for the #ICST conference, listening to a live football audio stream. Can you guess which one?
I‘m gonna need a bigger suitcase #ICSE2026
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/...
At ICST workshops today, giving a keynote on how test generation and dynamic analysis will boost AI agents: conf.researchr.org/details/ise-...
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...
Bill Connelly
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...
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...
Andreas Zeller
Andreas Zeller
Andreas Zeller
Andreas Zeller
Andreas Zeller
Andreas Zeller
Andreas Zeller
Video
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-...
