Seminar about symbolic execution as versatile program analysis technique