Andreas Zeller
AndreasZeller@mastodon.social

How do you fuzz code that cannot be instrumented, e.g. on an embedded system? It turns out you can use GDB for that!

👉 Check out our upcoming “GDBFuzz” @issta_conf paper at
publications.cispa.saarland/39

👉 GDBFuzz is available as open source at github.com/boschresearch/gdbfu

May 23, 2023
Andreas Zeller
AndreasZeller@mastodon.social

(On a more personal note: I tested negative today, and am symptom-free. Thank you for all your support!)

May 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

My PhD students at @ICSEconf! If you meet Tural Mammadov, Marius Smytzek, Leon Bettscheider , or Fengmin "Paul" Zhu, ask them about their research, what it’s like to work with me at @CISPA - and how I made them wear these T-shirts. jobs.cispa.saarland/

May 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Missing ! On the day of my flight to Australia, I tested positive for COVID and will thus stay at home. Wishing my friends and colleagues all the best at – enjoy a great conference!

May 14, 2023
Andreas Zeller
AndreasZeller@mastodon.social

T-Shirts for ! I am hiring multiple Post-Docs in software testing and analysis who want to combine their independent research agenda with our techniques. Ask wearers (+ me) at for details, and check out the S3 ERC project at cispa.de/s3

May 11, 2023
Andreas Zeller
AndreasZeller@mastodon.social

I just finished reviewing a paper on quantum programming. The paper is both accepted and rejected.

May 05, 2023
Andreas Zeller
AndreasZeller@mastodon.social

On my way to an IFIP meeting in York Harbor, Maine, meeting lots of awesome colleagues to discuss software implementation technologies ifip-wg24.org

April 23, 2023
Andreas Zeller
AndreasZeller@mastodon.social

I got a 2.5 Million EUR ERC Advanced Grant (my 2nd)! In the project "Semantics of Software Systems" (S3), we will research massive generation of tests and oracles for software. Details (and proposal!) here: cispa.de/s3. Come work with me!

A big "thank you" to all who have helped me with the many proposal revisions and interview rehearsals. Particular 🙏🙏🙏 go to @rahul and @dsteinhoefel – this proposal would not have been possible without you and your work!

March 30, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Super happy to receive a 10-year impact award from . See you in Melbourne! conf.researchr.org/track/msr-2

March 28, 2023
Andreas Zeller
AndreasZeller@mastodon.social

As a grant panel member, I frequently get reviews of grant proposals that praise the work but still give lots of advice for improvement. This can very quickly sink the proposal. Let me tell you why.

Panels _rank_ grant proposals. Which ones are the best that deserve funding? This is a _political_ process. Panel members will do their best to champion their favorite proposals and often oppose others.

February 23, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Semantic Fuzzing! Wed 11:00 at in Paderborn, join @dsteinhoefel and me for a presentation of our input spec language, string solver, and semantic fuzzer: dl.gi.de/handle/20.500.12116/4

February 21, 2023