10. Symbolic Execution

From the creator

MIT 6.858 Computer Systems Security, Fall 2014 View the complete course: http://ocw.mit.edu/6-858F14 Instructor: Armando Solar-Lezama In this lecture, Professor Solar-Lezama from MIT CSAIL presents the concept of symbolic execution. License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

Published 2015-07-14 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.