-
41
Advances in model-based software testing (A-MOST).
Xuất bản năm Software engineering notes.Bài viết -
42
-
43
PSE explaining program failures via postmortem static analysis.
Xuất bản năm Software engineering notes.Bài viết -
44
-
45
-
46
-
47
-
48
-
49
-
50
Generalizing symbolic execution to library classes.
Xuất bản năm Software engineering notes.Bài viết