Role of symbolic execution in software testing, debugging and repair
Role of symbolic execution in software testing, debugging and r…
Dec 18, 2013
Microsoft
Lecture 10: Symbolic Execution | Computer Systems Security | Electrical Engineering and Computer Science | MIT OpenCourseWare
Lecture 10: Symbolic Execution | Computer Systems Security | Elec…
Apr 3, 2022
mit.edu
Symbolic Logic Overview, List & Examples
6:30
Symbolic Logic Overview, List & Examples
141K viewsOct 5, 2017
Study.comGarrett Taft
Symbolic types for lenient symbolic execution | Proceedings of the ACM on Programming Languages
Symbolic types for lenient symbolic execution | Proceedings of the AC…
Dec 27, 2017
acm.org
Controlling your Angr : Techniques for improving Symbolic Execution with the Angr framework
45:56
Controlling your Angr : Techniques for improving Symbolic Executio…
2.5K viewsOct 21, 2020
YouTubePyCon South Africa
Derivative-Guided Symbolic Execution | Proceedings of the ACM on Programming Languages
Derivative-Guided Symbolic Execution | Proceedings of the AC…
2 months ago
acm.org
Symbolic Execution: Basics
14:18
Symbolic Execution: Basics
254 viewsDec 31, 2023
YouTubeSoftware Security
1:00:48
Symbolic Execution and Model Checking for Testing
28.2K viewsNov 22, 2007
YouTubeGoogle TechTalks
55:30
Symbolic Execution for Software Security: Practical Guide w/ publicqi
1 views1 month ago
YouTubeRektoff
Compiling symbolic execution with staging and algebraic effects | Pro…
Nov 21, 2020
acm.org
12:46
Symbolic Execution as Search and the Rise of Solvers
147 viewsDec 31, 2023
YouTubeSoftware Security
1:19
leena - symbolic execution engine for JavaScript
245 viewsMar 21, 2016
YouTubemmicu
JaVerT 2.0: compositional symbolic execution for JavaScript | Proceed…
Jan 2, 2019
acm.org
5:50
Interactive Verification with the Symbolic Execution Debugger (SED)
3.6K viewsMay 13, 2016
YouTubeMartin Hentschel
31:31
Symbolic Testing
9.9K viewsOct 1, 2017
YouTubeSoftware testing
8:27
Systems for Symbolic Execution
55 viewsDec 31, 2023
YouTubeSoftware Security
5:32
MATLAB Symbolic Toolbox | Beginner's Guide to MATLAB
2K viewsApr 16, 2022
YouTubeLaplace Academy
44:30
Symbolic Execution & Formal Verification | Trail Of Bits Head of …
1.3K viewsApr 25, 2023
YouTubeCyfrin Audits
26:26
Introduction to Symbolic Execution with Angr - JC
8.7K viewsApr 5, 2019
YouTubeRITSEC
11:08
USENIX Security '20 - Symbolic execution with SymCC: Don't inter…
1.6K viewsSep 14, 2020
YouTubeUSENIX
28:34
Getting Started in Symbolic Toolbox with Live Script in MATLAB
11.9K viewsNov 23, 2020
YouTubeSnugglyHappyMathTime
1:29:39
6.858 Spring 2022 Lecture 11: Symbolic execution
503 viewsSep 5, 2022
YouTubeNickolai Zeldovich
4:49
Proof Attempt Inspection with the Symbolic Execution Debugger (SED)
1.5K viewsMay 13, 2016
YouTubeMartin Hentschel
1:23
Why IR is Crucial for Effective Symbolic Execution
5 months ago
YouTubevlogize
3:44
The Complete Guide to Creating Symbolic Links (aka Symlinks) on …
9.4K viewsAug 3, 2022
YouTubeComputer Everywhere
39:26
[SW Security] Symbolic Execution
13 views4 months ago
YouTubemfbotacin
State Merging with Quantifiers in Symbolic Execution | Proceeding…
Nov 30, 2023
acm.org
23:00
Introduction to symbolic execution with KLEE
10.2K viewsJul 28, 2020
YouTubeAdaLogics
1:17:46
PPA 8/10: Symbolic Execution [program analysis crash course]
1K viewsApr 28, 2023
YouTubeYegor Bugayenko
Lazy counterfactual symbolic execution | Proceedings of the 40t…
Jun 8, 2019
acm.org
See more videos
Static thumbnail place holder