-
41
Advances in model-based software testing (A-MOST).
Argitaratua izan da Software engineering notes.Artikulua -
42
Surfing the net for software engineering notes.
Argitaratua izan da Software engineering notes.Artikulua -
43
PSE explaining program failures via postmortem static analysis.
Argitaratua izan da Software engineering notes.Artikulua -
44
Using an SQL coverage measurement for testing database applications.
Argitaratua izan da Software engineering notes.Artikulua -
45
Analysis of the constraint solver in UNA based test data generation.
Argitaratua izan da Software engineering notes.Artikulua -
46
Pursuing failure the distribution of program failures in a profile space.
Argitaratua izan da Software engineering notes.Artikulua -
47
-
48
STG a tool for generating symbolic test programs and oracles from operational specifications.
Argitaratua izan da Software engineering notes.Artikulua -
49
Constraint satisfaction techniques for diagnosing errors in design by contract software.
Argitaratua izan da Software engineering notes.Artikulua -
50
Generalizing symbolic execution to library classes.
Argitaratua izan da Software engineering notes.Artikulua