Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
14:16
Lecture "Symbolic and Concolic Testing (Part 2, Challenges)" of "Program Analysis"
1:20:53
6.858 Spring 2020 Lecture 10: Symbolic execution
57:58
The Satisfiability Problem
1:22:16
10. Symbolic Execution
37:23
Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"
27:36
Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"
24:27
Lecture "Introduction (Part 1, Motivation)" of "Program Analysis"
6:44