Automated Testing and Debugging

Dear seminar participants,

Just now I sent out an email containing a link to a form collecting the information required for scheduling our final presentations from you. Please submit the form before Monday, February 7th such that you have sufficient time for preparing your talk and the schedule can be arranged comfortably in advance.

If you have questions regarding the procedure, or did not receive the mail, please feel free to come back to me.

Best,
Dominic

Dear all,

In two weeks at the usual time, we will have two presentations by Rizgar and Raik on the seminal paper about QuickCheck, a tool which pioneered the research area of Property-Based Testing. The corresponding materials are uploaded (including a link to the Hypothesis tool, a Python library for PBT: Try it out, it's fun!), seminar program updated, submission slot is open and stays open until one day before the corresponding seminar session.

See you next week,
Best,
Dominic

Dear all,

In two weeks at the usual time, we will hear about the Frankencerts, an approach for differential testing of SSL/TLS implementations based on synthetic certifications generated by mutational fuzzing. Our presenters will be Oliver and Marius. The corresponding materials are uploaded, seminar program updated, submission slot opens tomorrow and stays open until one day before the corresponding seminar session.

The speakers for the session in three weeks are thus also fixed already: In the session at Dec. 8th, we will have talks by Rizgar and Raik.

See you next week,
Best,
Dominic

Dear all,

I hope you enjoyed today's session.

In two weeks at the usual time, we will hear about the SAGE tool, a whitebox fuzzer successfully employed in industrial practice. Our presenters will be Alexander and Tim. The corresponding materials are uploaded, seminar program updated, submission slot opens tomorrow and stays open until one day before the corresponding seminar session.

See you next week,
Best,
Dominic

Dear all,

Andreas just uploaded his slides from today (PDF, so you won't be able to listen to Steve Jobs), they're available in the materials section.

Our two speakers, presenting the paper representing the area of structure-aware fuzzing, at Nov. 17th will be Ahmad and Julian. Looking forward to their presentations! I already uploaded the paper, the submission slot for the summary (to be submitted by everybody) will appear tomorrow.

Best,
Dominic

Hi all,

as discussed in our meeting today, our seminar will from now on regularly take place on Wednesday at 4:15 PM. The Zoom link will stay the same as for today's meeting.

Next week (Nov 3rd), Andreas will give a talk on how to give a talk, so we start a little meta ;)

The week after, at Nov 10th, we will have our first "regular" seminar session. The topic of that session is Basic Black-Box Fuzzing, in particular the seminal paper by Miller et al. I have already uploaded the paper, you should be able to access it in the materials section. If there are any problems with that, please let me know. Additionally, I added a link to the Fuzzing Book chapter about black-box fuzzing. I encourage you to have look at this chapter and to try things out yourself, it's worth it!

We would like to ask each of you to provide a short abstract / summary of this paper until latest Nov 9th. The length of the summary should be about half a page, and be no longer than one page (using some reasonable font settings). Please upload your summary using the CISPA CMS page as a PDF or text file; I just created a corresponding submission slot. If you are facing any problems with this, please also let me know.

We have already chosen the two presenters for the Nov 10th session, which are Philip and Kevin. I'm looking forward to their presentations! And yes, these will be two presentations on the very same paper ;) Each of these should take five minutes. As a reminder: Neither the summaries nor the short presentations will be graded! Notwithstanding, you should summarize papers for at least 8 out of 10 sessions, and give two short presentations.

If you have any other questions, concerns or ideas, just drop me a mail or use the forum.

Apart from that, I'm very much looking forward to an interesting (pro)seminar!

Best Regards,
Dominic

Welcome to the proseminar on "Automated Testing and Debugging!” We’re happy you’re with us, and we look forward to an exciting and inspiring seminar.

We have a kick-off meeting on Thursday, October 28th, 16:15, in which we will discuss details of the seminar. This will also likely be the recurrent meeting time of the seminar, so try to keep this space free of other events. Details about the meeting (most notably a Zoom link) will be sent to you via email.

Looking forward to meeting you!
Andreas + Dominic