28:11

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

14:01

Lecture "Concurrency (Part 4, Interleavings)" of "Program Analysis"

14:16

Lecture "Symbolic and Concolic Testing (Part 2, Challenges)" of "Program Analysis"

14:53

Lecture "Information Flow Analysis (Part 1, Introduction)" of "Program Analysis"

27:36

Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"

16:26

Lecture "Path Profiling (Part 1, Introduction)" of "Program Analysis"

25:19

Lecture "Program Slicing (Part 4, Dynamic Slicing)" of "Program Analysis"

23:22

Lecture "Concurrency (Part 3, Thread Safety)" of "Program Analysis"