Selected Topics in Automated Testing and Debugging

Dear Students,

Hope to see you soon at 10am for the first round of final presentations.

As we mentioned during the previous meeting, the next seminar will be on FormatFuzzer.

*  FormatFuzzer: Effective Fuzzing of Binary File Formats
  Dutra, Gopinath, Zeller
  https://dl.cispa.de/s/3q2PyqP7rqZzrNn

We expect a short abstract, no more than one page, capturing the essential ideas. Also think about new directions to use/extend the FormatFuzzer framework.

As before you can use the following latex snippet to determine what fits in a single page and what doesn't.

```
\documentclass[12pt]{article}
\usepackage[english]{babel}
\usepackage{blindtext}

\title{My Title}
\begin{document}
\section{Abstract}
\blindtext
\blindtext

\blindtext
\blindtext
\end{document}
```

Please upload your summary as a PDF to the CMS submission slot (you can use the above latex code to generate the PDF). The submission slot for FormatFuzzer is here: https://cms.cispa.saarland/testdebug/submissions/view/10

Please submit your abstracts before the class.

Regards,

Rafael