abstraction-guided hybrid symbolic execution for testing concurrent systems
Published 8 years ago • 84 plays • Length 1:04:41Download video MP4
Download video MP3
Similar videos
-
1:26:00
symbolic counter abstraction for concurrent software
-
59:48
role of symbolic execution in software testing, debugging and repair
-
55:04
data abstraction without control abstraction in software model checking
-
28:11
lecture "symbolic and concolic testing (part 1, symbolic)" of "program analysis"
-
1:00:48
symbolic execution and model checking for testing
-
16:00
ase2020: multiplex symbolic execution: exploring multiple paths by solving once
-
1:16:20
theories, solvers and static analysis by abstract interpretation
-
10:31:38
comptia it fundamentals (itf ) fc0-u61 full course
-
56:30
keynote: formal methods at microsoft - nikolaj bjørner
-
1:19:49
towards verified trusted computing platforms with uclid5 by dr sanjit a. seshia
-
1:06:50
precise and automated symbolic analysis of concurrent programs
-
1:21:57
tidbits gleaned over nine years of concurrent software testing research
-
1:10:07
symmetry-aware predicate abstraction for shared-variable concurrent programs
-
0:31
a provenance task abstraction framework
-
29:18
e-fmp's extensible symbolic execution tool
-
31:31
symbolic testing
-
18:15
augmented dynamic symbolic execution explained
-
6:46
levels of abstraction in testing
-
53:06
a domain specific language for testing concurrent programs