Symbolic execution and program testing | Communications of the ACM
Symbolic execution and program testing | Communications of the ACM
2 months ago
acm.org
10. Symbolic Execution
1:22:16
10. Symbolic Execution
41.8K viewsJul 14, 2015
YouTubeMIT OpenCourseWare
Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
28:11
Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
8.2K viewsDec 9, 2020
YouTubeMichael Pradel
SE465/ECE653 Lecture 14: Symbolic Execution
36:48
SE465/ECE653 Lecture 14: Symbolic Execution
67 views2 months ago
YouTubePatrick Lam
Symbolic Execution Explained: Finding Bugs in Complex Code Paths | Sonar Summit 2026
18:04
Symbolic Execution Explained: Finding Bugs in Complex Code Paths | Sonar Summit 2026
33 views2 months ago
YouTubeSonar
Fuzzing combined with symbolic execution: a demonstration on SymCC and AFL.
15:14
Fuzzing combined with symbolic execution: a demonstration on SymCC and AFL.
3.4K viewsFeb 16, 2021
YouTubeAdaLogics
Symbolic Execution and Model Checking for Testing
1:00:48
Symbolic Execution and Model Checking for Testing
28.3K viewsNov 22, 2007
YouTubeGoogle TechTalks
20:35
[CPP'26] Enhancing Symbolic Execution with Machine-Checked Safety Proofs
50 views3 months ago
YouTubeACM SIGPLAN
59:48
Role of symbolic execution in software testing, debugging and repair
1.2K viewsJul 27, 2016
YouTubeMicrosoft Research
Symbolic execution for software testing: three decades later: Communications of the ACM: Vol 56, No 2
2 months ago
acm.org
6:37
📜w7• symbolic execution | path constrained | white box software testing
378 viewsJan 10, 2024
YouTubeManish Learning
8:46
Z3 Explained - Satisfiability Modulo Theories & SMT Solvers
21.8K viewsOct 11, 2023
YouTubeGuided Hacking
10:53
Introducing Symbolic Execution
3.5K viewsDec 31, 2023
YouTubeSoftware Security
27:36
Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"
2.9K viewsDec 9, 2020
YouTubeMichael Pradel
Online Input Grammar Synthesis Aided Symbolic Execution | Proceedings of the ACM on Programming Languages
1 month ago
acm.org
Combining static analysis error traces with dynamic symbolic execution (experience paper) | Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
2 months ago
acm.org
1:23
Why IR is Crucial for Effective Symbolic Execution
1 viewsMar 22, 2025
YouTubevlogize
20:07
SymCC: Making Symbolic Execution 30× Faster | USENIX Security 2020 Paper Presentation
1 views2 months ago
YouTubeTanay Shah
25:59
Interactive symbolic testing with TLA+, Apalache, and LLMs - Igor Konnov
55 views1 week ago
YouTubeTLA+ - The Temporal Logic of Actions
0:45
Demystifying Symbolic Execution for Bug Hunting
196 views1 month ago
YouTubechamomille
55:30
Symbolic Execution for Software Security: Practical Guide w/ publicqi
204 views9 months ago
YouTubeRektoff
2:29:48
What Is Test Management in Software Testing? Test Planning, Execution, and Defect Tracking Explained
11 views2 months ago
YouTubeCorrelation One
7:50
TestNG Tutorial for Beginners | Suites, Annotations, Parallel Tests & CI
123 views4 months ago
YouTubeSoftware and Testing Training
3:01
How to assign and execute tests | Zephyr
333 views3 months ago
YouTubeSmartBear
25:40
New dotnet test Experience with Microsoft.Testing.Platform
4.7K views6 months ago
YouTubedotnet
1:03:50
Test Execution - Part 1 (Manual Testing - Part 8)
870 views9 months ago
YouTubeQAFox
23:19
Introduction to SMT Solvers (z3) and Symbolic Execution (Arabic)
649 viewsSep 20, 2024
YouTubeBinaryVault (Arabic)
5:30
Test Execution & Reporting in Software Testing
221 views7 months ago
YouTubeMedha XL
1:16
Curiosity vs. Execution: Why Testing Beats Trying to Be Right
376 views3 months ago
YouTubeKaihan Krippendorff
1:05:00
Test Cycles, Test Results, Defects found and Quality Report (Manual Testing - Part 14)
349 views8 months ago
YouTubeQAFox
See more