Selected Topics in Automated Testing and Debugging

Dear Students,

As we mentioned during the previous week, the next seminar will be on evocative or failure inducing patterns for behavioral abstraction. The following publications provide the basic background.

* Abstracting Failure-Inducing Inputs
  Gopinath, Kampmann, Havrikov, Soremekun, Zeller
  https://publications.cispa.saarland/3103/7/issta2020-language-of-failure.pdf

  Talk: Benjamin Peters

  (You are encouraged to read the Debugging book chapter on this subject: https://www.debuggingbook.org/beta/html/DDSetDebugger.html which details a simpler algorithm than that given in the paper, and understand the trade offs.)

* When does my Program do this? Learning Circumstances of Software Behavior

  Kampmann, Havrikov, Soremekun, Zeller
  https://publications.cispa.saarland/3107/7/fse2020-alhazen.pdf

  Talk: Ali Alhasani

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 evocative patterns abstracts is here: https://cms.cispa.saarland/testdebug/submissions/view/2

Please submit your abstracts before the class.

Regards,

Rahul