In-source testing for Answer Set Programming

Introduction into in-source testing and how it is done in ASP Potasco/Clingo). Discussion of a few examples and a challenge for working in groups. The aim is to raise awareness and gather feedback. Hands-on.