Lecture 10: Symbolic Execution

Name: Lecture 10: Symbolic Execution
Uploaded: 2015-07-14T16:19:59Z
Duration: 1 h 22 min 16 s
Description: Description: In this lecture, Professor Solar-Lezama from MIT CSAIL presents the concept of symbolic execution. Instructor: Armando Solar-Lezama

1:22:16

Up Next

Lecture 11: Ur/Web

Continue

Description: In this lecture, Professor Solar-Lezama from MIT CSAIL presents the concept of symbolic execution.

Instructor: Armando Solar-Lezama