0.25
0.5
0.75
1.25
1.5
1.75
2
Exploration - Exploitation for Statistical Software Testing
Published on Feb 25, 20075257 Views
Related categories
Chapter list
Exploration / Exploitation Inference for Statistical Software Testing00:00
Overview pt 101:42
Software Testing02:43
Software Testing, Classification04:26
Correctness Testing05:54
Criteria08:52
Hybrid Statistical/Structural Approach10:35
Example11:46
Hybrid Statistical/Structural Approach 112:56
Hybrid Statistical/Structural Approach, 213:28
Uniform sampling of bounded program paths15:15
Hybrid Statistical/Structural Approach, 316:05
Discussion16:47
Domain knowledge and search space17:59
1st: Discriminant/Active learning20:08
2nd: Generative learning22:53
Position of the problem23:43
Domain knowledge and search space 125:46
Representation: Parikh map26:23
Distribution search space29:07
EXIST : Exploitation / Exploration Inference for Statistical Testing30:03
Selection Module30:59
Update Module33:06
Initialisation Module34:30
Seeded Initialization36:28
Initalisation Module 137:35
Seeded Initalization 137:47
Seeded Initialisation, 238:07
Summary of EXIST39:27
Experimental Validation40:06
Experimental setting and goal41:31
Category I42:04
Category II43:08
Category III43:39
Problem art544:25
Discussion44:54
Related Works46:54
Overview pt 248:32
ML for Computer Science48:56
Evolution of Computing50:01
A case study (upcoming EGEE-Pascal Challenge)50:51
Goal: Grid modelling51:48
Modelling the grid: an ML problem53:35
Call to Arms55:09