-
41
Advances in model-based software testing (A-MOST).
Publicado en Software engineering notes.Artículo -
42
-
43
PSE explaining program failures via postmortem static analysis.
Publicado en Software engineering notes.Artículo -
44
-
45
-
46
-
47
-
48
-
49
-
50
Generalizing symbolic execution to library classes.
Publicado en Software engineering notes.Artículo