filmov
tv
Lecture 'Symbolic and Concolic Testing (Part 4, Applications)' of 'Program Analysis'
Показать описание
Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21
See course page for more information:
See course page for more information:
0:28:11
0:07:02
0:27:36
0:14:16
0:08:27
0:23:42
0:05:03
0:19:26
0:14:18
0:08:59
0:11:08
0:09:53
0:23:21
0:04:55
1:17:46
0:44:22
0:41:44
0:02:09
0:26:26
0:22:05
0:52:25
0:16:26
0:10:24
0:26:10