Symbolic Execution

Concept

A technique that runs programs on symbolic values instead of concrete values to traverse all program paths and generate conditions for each path.

Mentioned in 1 video

Videos Mentioning Symbolic Execution

Assertion-based Repair of Complex Data Structures

Assertion-based Repair of Complex Data Structures

GoogleTalksArchive

A technique that runs programs on symbolic values instead of concrete values to traverse all program paths and generate conditions for each path.