Meet my new team of Post-Docs: Dominic Steinhöfel (@dsteinhoefel), Alexi Turcotte, Jordan Samhi, and Rafael Dutra

When developing new research ideas, I ask myself: How could their result fit in _a single sentence_? In this interview, I show how this shapes my research, its communication, and the quest for impact. Enjoy!
🇺🇸 https://cispa.de/en/zeller
🇩🇪 https://cispa.de/zeller

Fuzzing embedded systems! If you’re at #ISSTA or #ECOOP today, drop in at 2:15 pm at G01 and see how we use GDB (yes, the GNU debugger) to fuzz test software running on embedded systems hardware: https://2023.issta.org/details/issta-2023-technical-papers/74/Fuzzing-Embedded-Systems-using-Debug-Interfaces

If you’re at #ISSTA and looking for a position in 2023 or 2024, talk to me. I have several positions to fill:
➡️ PhD students:
https://jobs.cispa.saarland/jobs/detail/phd-students-1
➡️ PostDocs:
https://jobs.cispa.saarland/jobs/detail/postdoctoral-researchers-3
Check out the #S3 project for topic suggestions: https://cispa.de/s3

Slides of my #issta_conf DEBT keynote “Language-Based Testing and Debugging“ are now available at https://www.slideshare.net/andreas.zeller/languagebased-testing-and-debuggingpdf

My demo code (actually, this week’s coding assignment for my students) is at https://github.com/CISPA-SBTD-Seminar/11_Explaining_Failures/blob/main/Lab_11.ipynb Enjoy!

In Seattle, visiting #ISSTA and #ECOOP. Find me
* Monday morning: giving a keynote at the #DEBT workshop on debugging,
* Monday noon: hanging out at the #FUZZING workshop,
* Monday late afternoon: giving advice at the ISSTA Doctoral Symposium,
and at ISSTA & ECOOP all week!

My sister unearthed this photo of me from 1984. At this time, I did not know all the things I didn't know.

How to create the nastiest test inputs ever: My ten-minute #NeverWorkInTheory talk on automated software testing is now available at https://www.youtube.com/watch?v=GCy8bYJ_G0I

"Did you run the evaluation multiple times, and did earlier runs influence the design of your system or its parameters? If so, how?" I have asked this question in dozens of reviews and never got an answer.

@phf Most CS research groups in Germany get ample base funding (compared to the world), and thus are not so much dependent on research grants. This allows you to focus on long-term goals (say, formal verification for everyone), but also brings the risk of getting out of touch with reality. As a grant reviewer, I value both theoretical and practical breakthroughs, and recommend both for funding.

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
https://publications.cispa.saarland/3950/

👉 GDBFuzz is available as open source at https://github.com/boschresearch/gdbfuzz

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

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. https://jobs.cispa.saarland/

Missing #ICSE! 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 #ICSE2023 – enjoy a great conference!

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

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