symbolic execution and model checking for testing
Published 16 years ago • 28K plays • Length 1:00:48Download video MP4
Download video MP3
Similar videos
-
28:11
lecture "symbolic and concolic testing (part 1, symbolic)" of "program analysis"
-
31:31
symbolic testing
-
8:31
symbolic testing with dapptools
-
28:37
symbolic execution by compilation with symcc
-
14:01
formal verification & symbolic execution | w/ trail of bits
-
59:48
role of symbolic execution in software testing, debugging and repair
-
10:53
introducing symbolic execution
-
21:28
gilded rose with provable rewrites in c (symbolic execution)
-
1:00:16
design is testability
-
1:10:30
llbmc: the low-level bounded model checker
-
11:23
arvind symbolic evaluation for statistical distribution modeling
-
56:18
systematic testing of software with structurally complex inputs
-
2:09
symbolic testing with crux-mir
-
42:19
interface grammars for modular software verification
-
20:35
symcerts: practical symbolic execution for exposing noncompliance in x.509 certificate validation
-
11:56
detecting mpi usage anomalies via partial program symbolic execution
-
24:24
symbolic execution with symcc - don't interpret, compile!
-
1:05:01
issta 2020 technical papers: "symbolic execution and constraint solving"
-
12:21
tracerx: dynamic symbolic execution with interpolation