Introducing Symbolic Execution

(10:53)

Mathcad Prime - Symbolic Evaluation

(6:49)

Lecture \

(28:11)

Finding Code That Explodes Under Symbolic Evaluation

(22:33)

A formal foundation for symbolic evaluation with merging (Teaser)

(4:40)

Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval

(22:16)

Symbolic Testing with crux-mir

(2:9)

Code Deobfuscation: Intertwining Dynamic, Static and Symbolic Approaches

(50:33)

[PEPM'22] Partially Evaluating Symbolic Interpreters for All

(29:15)

[POPL'22] A Formal Foundation for Symbolic Evaluation with Merging

(22:9)

Symbolic Execution: What you wish you knew months ago...

(24:37)

\

(30:25)

Symbolic Language Evaluation and Compilation in Virtual Reality

(1:21)

10. Symbolic Execution

(1:22:16)

Symbolic Execution Demystified by Jannis Kirschner

(45:10)

Expression Trees for symbolic and numeric evaluation

(47:33)

Symbolic evaluation of determinants and rhombus tilings of holey hexagons, part I

(29:59)

Symbolic program evaluation for zk and bitcoin [EN]

(26:34)

Role of symbolic execution in software testing, debugging and repair

(59:48)