Selected Topics in Automated Testing and Debugging

Dear Students,

As we mentioned during the previous meeting, the next seminar will be on "Mining Program Input Grammars". The following publication and fuzzing book chapter provide the basic background.

*  Mining Input Grammars from Dynamic Control Flow
  Gopinath, Mathis, Zeller
  https://publications.cispa.saarland/3101/1/fse2020-mimid.pdf
 
* Mining Input Grammars from Dynamic Taints
  Höschele, Zeller
  https://www.fuzzingbook.org/html/GrammarMiner.html

We expect a short abstract, no more than one page, capturing the essential ideas. 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 dynamic invaraint abstracts is here: https://cms.cispa.saarland/testdebug/submissions/view/5

Please submit your abstracts before the class.

Regards,

Rahul