Lecture "Program Slicing (Part 3, Thin Slicing)" of "Program Analysis"
25:19
Lecture "Program Slicing (Part 4, Dynamic Slicing)" of "Program Analysis"
14:53
Lecture "Information Flow Analysis (Part 1, Introduction)" of "Program Analysis"
10:32
Lecture "Program Slicing (Part 1, Introduction)" of "Program Analysis"
27:36
Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"
24:56
Lecture "Information Flow Analysis (Part 3, Analysis)" of "Program Analysis"
19:06
Lecture "Concurrency (Part 1, Introduction)" of "Program Analysis"
28:11
Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
28:53