Real Programs
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
Experimental Unit
ClassMethodCategoryType
Likely Cause
Breadth (B)
Depth (D)
2
BomberBuildingConstrutorCode errorinvariantCode error11
3
CommondivUndefinedpreconditionUndefined15
4
ExplosionConstrutorCode errorinvariantCode error22
5
FlakSmokegetBoundingBoxCode errorpostconditionCode error21
6
HealthCardAllergies_ImplgetAllergyDesignationSpecification errorpostconditionstrong postcondition22
7
removeAllergySpecification errorpostconditionstrong postcondition22
8
setAllergyDateSpecification errorpostconditionstrong postcondition54
9
setAllergyDesignationSpecification errorpostconditionstrong postcondition64
10
Appointments_ImplConstrutorCode errorinvariantCode error15
11
CardExceptionConstrutorCode errorinvariantCode error12
12
CardRuntimeExceptionConstrutorCode errorinvariantCode error12
13
CommongetDateSpecification errorconstraintweak precondition63
14
getHourSpecification errorconstraintweak precondition63
15
getTypeSpecification errorconstraintweak precondition63
16
getVaccinationDateSpecification errorconstraintweak precondition43
17
setDateSpecification errorconstraintstrong constraint73
18
toStringSpecification errorconstraintweak precondition63
19
Diagnostic_ImplgetDescriptionCode errorpostconditionCode error32
20
ConstrutorSpecification errorinvariantweak precondition12
21
setAppointmentIDSpecification errorinvariantweak precondition22
22
setDescriptionSpecification errorpostconditionweak precondition42
23
Medicine_ImplConstrutorSpecification errorinvariantweak precondition12
24
Personal_ImplConstrutorCode errorinvariantCode error11
25
Treatment_ImplgetMedicalRecomendationSpecification errorpostconditionweak precondition22
26
ConstrutorSpecification errorinvariantweak precondition12
27
setAppointmentIDSpecification errorinvariantweak precondition22
28
setDiagnosticIDSpecification errorinvariantweak precondition22
29
setMedicalRecomendationSpecification errorpostconditionweak precondition22
30
setTreatmentIDSpecification errorinvariantweak precondition32
31
Vaccine_ImplsetDesignationSpecification errorpreconditionstrong precondition43
32
Vaccines_ImplgetVaccineDesignationSpecification errorpostconditionstrong postcondition22
33
removeVaccineSpecification errorpostconditionstrong postcondition22
34
setVaccineDesignationSpecification errorpostconditionstrong postcondition32
35
validateVaccinePositionSpecification errorpostconditionstrong postcondition23
36
JAccountingAccountgetCurrencySpecification errorevaluationweak precondition31
37
getDescriptionSpecification errorevaluationweak precondition21
38
getNameSpecification errorpostconditionweak precondition31
39
AClassgetNameSpecification errorpostconditionweak precondition21
40
ArrayUtilsgetMaxIntArrayIndexSpecification errorpostconditionweak precondition21
41
stringArrayToIntArraySpecification errorpostconditionweak precondition21
42
util.ByteArrayDataSourceConstrutorCode errorinvariantCode error21
43
mail.ByteArrayDataSourcebyteArrayDataSourceCode errorinvariantCode error22
44
ChargeConstrutorCode errorinvariantCode error11
45
CompanygetIdSpecification errorpostconditionweak precondition31
46
CookieUtilsgetCookieSpecification errorpostconditionweak precondition13
47
getDeleteCookieSpecification errorpostconditionweak precondition13
48
CustomerLoggetCustomerKeySpecification errorpostconditionweak precondition21
49
DateUtilsmonthAsStringSpecification errorpostconditionweak precondition11
50
mail.MailerConstrutorCode errorinvariantCode error11
51
util.MailerConstrutorCode errorinvariantCode error11
52
PageElementsConstrutorCode errorinvariantCode error14
53
PaymentDistributionConstrutorCode errorinvariantCode error11
54
PreferencesConstrutorCode errorinvariantCode error11
55
ProductConstrutorCode errorinvariantCode error12
56
RecurrenceConstrutorCode errorinvariantCode error11
57
StringDataSourceConstrutorCode errorinvariantCode error11
58
TaxConstrutorCode errorinvariantCode error12
59
MondexAPDUConstrutorCode errorinvariantCode error11
60
ConPurseJCConstrutorCode errorinvariantCode error22
61
TransactedMemoryAbstractTransactedMemoryANewTagSpecification errorpostconditionweak precondition322
62
DPageConstrutorSpecification errorinvariantweak precondition11
63
DTagDataConstrutorSpecification errorinvariantweak precondition11
64
GenerationConstrutorSpecification errorinvariantweak precondition11
65
GenGenbyteConstrutorCode errorinvariantCode error18
66
TagConstrutorSpecification errorinvariantweak precondition11
67
VersionConstrutorSpecification errorinvariantweak precondition11
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...
Main menu