News
Request for Date and Paper PreferencesWritten on 27.01.22 by Dominic Steinhöfel 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… Read more 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, |
Topic for Seminar Session 2021/12/08Written on 24.11.21 by Dominic Steinhöfel 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… Read more 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, |
Speakers for Seminar Session 2021/12/01Written on 17.11.21 by Dominic Steinhöfel 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,… Read more 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, |
Speakers for Seminar Session 2021/11/24Written on 10.11.21 by Dominic Steinhöfel 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… Read more 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, |
Slides of Andreas' Talk, Speakers for Seminar Session 2021/11/17Written on 03.11.21 by Dominic Steinhöfel 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… Read more 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, |
2nd & 3rd Seminar Sessions: Talk by Andreas / Basic Black-Box Fuzzing (2021/11/03 + 2021/11/10)Written on 28.10.21 by Dominic Steinhöfel 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… Read more 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, |
Kickoff Meeting on Thursday, October 28th, 16:15Written on 26.10.21 by Dominic Steinhöfel 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… Read more 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! |
Automated Testing and Debugging
It is estimated that programmers spend half of their time testing and debugging their code. Wouldn't it be great if computers could help automating these boring tasks?
In this proseminar, we explore and evaluate automated techniques for testing and debugging software. We look at a number of classic approaches for generating software tests automatically, for finding errors and locating faults, and for having these two interact with each other. You will be
- reading the associated papers,
- presenting the associated work,
- possibly even with a demonstration of the technique.
For every technique, we will be providing you with the papers (and a reference or textbook implementation, if available). For the presentation, we use standard presentation software; for demonstrations, Python and Jupyter Notebooks have shown to be practical. During the seminar, you will refine your presentation and demonstration skills with us up to the final (and decisive) presentation.
The first part of the seminar consists of ~10 virtual (Zoom) sessions of one hour, with at most one session per week. In each of these sessions, we will have two short presentations and a feedback and discussion round.
In the second part of the seminar, participants will give their final, graded presentations. This part consists of several (at most three) block sessions, which might be held virtually or on-site.
Attendance in all (virtual and on-site) proseminar meetings is mandatory.
Requirements: Programming skills will be required for demonstrations. Knowledge of Python and experience with Jupyter Notebooks is helpful, but can be acquired during the proseminar.
Registration: To register, use the central system of the CS department.