MIT

Lecture 10: Symbolic Execution

Data Science, Analytics & Computer TechnologySoftware Design and EngineeringComputer ScienceEngineering

Om kurset

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