Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 29/10/2026Neural 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] 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 002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 14/10/2026How 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] 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2026At #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] 001 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2026Talk 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/2026Talk 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/2026Advice 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/2026I 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 002 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 24/08/2026The #Fandango team is pulling off a long evening session because their advisor insists that the paper be ready one day _before_ the deadline 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/08/2026Proud 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] 011 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 31/07/2026At #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/2026There'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? 101 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/07/2026I 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/2026Reunited 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/2026Today 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/2026Back 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] 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 17/04/2026This 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/2026In 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/2026On 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/2026For decades, my mission was to help developers build better software. Now I help anyone, including AI: andreas-zeller.info 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 10/03/2026In 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] 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 09/03/2026My 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...) 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/03/2026With 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] 110 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 01/03/2026On 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/2026About 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! 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 05/02/2026I 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] 333 3
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/02/2026How 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] 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/01/2026Fuzzing 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/2026After 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/2026A 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. 116 6
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 19/12/2025In 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] 010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 08/12/2025Time to get serious again. New blog post "Reviewer-Author Collusion Rings and How to Fight Them": andreas-zeller.info/2025/12/07/Revi… 111 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 07/12/2025Bonus 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] 100 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 06/12/2025Series 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/2025Why, 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/2025Can 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/2025This 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… 021 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 03/12/2025The 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/2025The LaTeX Korrektor 2/6 - Dashes: www.youtube.com/shorts/oDDbgwqZxxQ 010 1
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 01/12/2025For 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/2025I 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] 112 2
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 20/11/2025Today 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/2025And 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/2025When 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/2025Today 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/2025On 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/2025At #InnoSoftDays 2025 in #Sevilla today, presenting novel ways for language- and AI-based software testing with #Fandango www.innosoftdays.com 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 28/10/2025Today 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. 😉 000 0
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy · 11/10/2025On my way to ACM CCS 2025 in Taipei (via Istanbul). Meet me there! 010 1