Selected Topics in Automated Testing and Debugging

Dear Students,

As we mentioned during the previous meeting, the next seminar will be on "Reverse Debugging (Time-travel Debugging)". The following publication provides the basic background.

*  A review of reverse debugging (Time-travel Debugging)
  Engblom
  https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.338.3420&rep=rep1&type=pdf

Students are also encouraged to play with actual implementations of reverse debugging, for example, in gdb:

https://www.gnu.org/software/gdb/news/reversible.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 reverse debugging is here: https://cms.cispa.saarland/testdebug/submissions/view/6

Please submit your abstracts before the class.

Regards,

Rafael