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/3748720I‘m gonna need a bigger suitcase
#ICSE2026On my way to Rio de Janiero, visiting
#ICSE2026 - here with Tural Mammadov. See you soon!
Planning to visit
#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 José Antonio Zamudio Amaya, Marius Smytzek, and Alexander Liggesmeyer). Find Fandango at
https://fandango-fuzzer.github.io/Fuzzing with Fandango — Fuzzing with Fandango
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, why, and how.An interview with Andreas Zeller, recipient of the 2026 IEEE Harlan D. Mills Award.
For decades, my mission was to help developers build better software. Now I help anyone, including AI:
https://andreas-zeller.infoIn 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 exactly this - for better type checking and even test generation:
https://doi.acm.org/?doi=3799978My 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...)
"Should Computer Scientists Experiment Less?" This is the title of my upcoming Harlan D. Mills Award Talk at ICSE 2026 on the past, present, and future of Software Engineering research. Looking forward to lots of productive discussions!
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-ComputIEEE Computer Society Harlan D. Mills Award and Talk by Andreas Zeller: Should Computer Scientists Experiment Less? On the past, present, and future of software engineering research (ICSE 2026 - Main Plenaries) - ICSE 2026
This year, ICSE 2026 innovates with an expanded Main Plenaries program—bringing a total of four exceptional keynote talks to the main conference stage. Across Wednesday to Friday, these sessions gather the entire ICSE community in one room to reflect on where software engineering is heading, from AI-driven development and AIware-centric systems to software supply chain security, research methodology in phygital settings, and the governance of software and algorithms.
The Main Plenaries also include several of the conference’s core moments: the official welcome and program overview, major a ...
