Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
Channel: Michael Pradel
Date: 2020-12-09

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21

See course page for more information:
http://software-lab.org/teaching/winter2020/pa/