-
41
Advances in model-based software testing (A-MOST).
I publikationen Software engineering notes.Artikel -
42
-
43
PSE explaining program failures via postmortem static analysis.
I publikationen Software engineering notes.Artikel -
44
Using an SQL coverage measurement for testing database applications.
I publikationen Software engineering notes.Artikel -
45
Analysis of the constraint solver in UNA based test data generation.
I publikationen Software engineering notes.Artikel -
46
Pursuing failure the distribution of program failures in a profile space.
I publikationen Software engineering notes.Artikel -
47
-
48
-
49
-
50
Generalizing symbolic execution to library classes.
I publikationen Software engineering notes.Artikel