Lecture 'Symbolic and Concolic Testing (Part 1, Symbolic)' of 'Program Analysis'

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:

[samdh]

In second branch (concrete exaction) b is greater than 5 where it is being stated that b is smaller than 5.

However, great explanation, better understandable compared to other videos on youtube about this concept. Solves quite a few of my doubts about my research paper.

[aloncohen]

on 17:50 its 7 nodes and 6 edges.

leaves are also counted as nodes.

Thanks for the great video!

[alirad]

amazing lecture, thank you for this information

[firefoxmozilla]

lots of mistakes, you should practice more.