Selected Topics in Specification and Testing Dominic Steinhöfel + Andreas Zeller


2nd & 3rd Seminar Sessions: Talk by Andreas / QuickCheck (2021/04/19 + 2021/04/26)

Written: 13.04.2021 18:48 Written By: Dominic Steinhöfel

Hi all,

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

Next week (April 19th), Andreas will give a talk on how to give a talk, so we start a little meta ;)

The week after, at April 26th, we will have our first "regular" seminar session. The topic of that session is Property-Based Testing, in particular the QuickCheck approach. 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 specification mining, and to the documentation of hypothesis, a package for quick checking python programs. I encourage you to have look at this chapter and to try out hypothesis, it's worth it!

We would like to ask each of you to provide a short abstract / summary of this paper until before Monday 26th. 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.

So far, we have not chosen the two presenters for the April 26th session. If there are any volunteers, please send me a mail. The two quickest volunteers get the job. In case I don't receive at least two mails, you will get the chance to volunteer during our next session at April 19th. 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! I couldn't find a way to create some kind of forum within the CISPA CMS so far, so mails are the preferred way to communicate in between the seminar sessions, at least for now.

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

Best Regards,

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators