Real Programs

	A	B	C	D	E	F	G	H
1	Experimental Unit	Class	Method	Category	Type	Likely Cause	Breadth (B)	Depth (D)
2	Bomber	Building	Construtor	Code error	invariant	Code error	1	1
3		Common	div	Undefined	precondition	Undefined	1	5
4		Explosion	Construtor	Code error	invariant	Code error	2	2
5		FlakSmoke	getBoundingBox	Code error	postcondition	Code error	2	1
6	HealthCard	Allergies_Impl	getAllergyDesignation	Specification error	postcondition	strong postcondition	2	2
7			removeAllergy	Specification error	postcondition	strong postcondition	2	2
8			setAllergyDate	Specification error	postcondition	strong postcondition	5	4
9			setAllergyDesignation	Specification error	postcondition	strong postcondition	6	4
10		Appointments_Impl	Construtor	Code error	invariant	Code error	1	5
11		CardException	Construtor	Code error	invariant	Code error	1	2
12		CardRuntimeException	Construtor	Code error	invariant	Code error	1	2
13		Common	getDate	Specification error	constraint	weak precondition	6	3
14			getHour	Specification error	constraint	weak precondition	6	3
15			getType	Specification error	constraint	weak precondition	6	3
16			getVaccinationDate	Specification error	constraint	weak precondition	4	3
17			setDate	Specification error	constraint	strong constraint	7	3
18			toString	Specification error	constraint	weak precondition	6	3
19		Diagnostic_Impl	getDescription	Code error	postcondition	Code error	3	2
20			Construtor	Specification error	invariant	weak precondition	1	2
21			setAppointmentID	Specification error	invariant	weak precondition	2	2
22			setDescription	Specification error	postcondition	weak precondition	4	2
23		Medicine_Impl	Construtor	Specification error	invariant	weak precondition	1	2
24		Personal_Impl	Construtor	Code error	invariant	Code error	1	1
25		Treatment_Impl	getMedicalRecomendation	Specification error	postcondition	weak precondition	2	2
26			Construtor	Specification error	invariant	weak precondition	1	2
27			setAppointmentID	Specification error	invariant	weak precondition	2	2
28			setDiagnosticID	Specification error	invariant	weak precondition	2	2
29			setMedicalRecomendation	Specification error	postcondition	weak precondition	2	2
30			setTreatmentID	Specification error	invariant	weak precondition	3	2
31		Vaccine_Impl	setDesignation	Specification error	precondition	strong precondition	4	3
32		Vaccines_Impl	getVaccineDesignation	Specification error	postcondition	strong postcondition	2	2
33			removeVaccine	Specification error	postcondition	strong postcondition	2	2
34			setVaccineDesignation	Specification error	postcondition	strong postcondition	3	2
35			validateVaccinePosition	Specification error	postcondition	strong postcondition	2	3
36	JAccounting	Account	getCurrency	Specification error	evaluation	weak precondition	3	1
37			getDescription	Specification error	evaluation	weak precondition	2	1
38			getName	Specification error	postcondition	weak precondition	3	1
39		AClass	getName	Specification error	postcondition	weak precondition	2	1
40		ArrayUtils	getMaxIntArrayIndex	Specification error	postcondition	weak precondition	2	1
41		ArrayUtils	stringArrayToIntArray	Specification error	postcondition	weak precondition	2	1
42		util.ByteArrayDataSource	Construtor	Code error	invariant	Code error	2	1
43		mail.ByteArrayDataSource	byteArrayDataSource	Code error	invariant	Code error	2	2
44		Charge	Construtor	Code error	invariant	Code error	1	1
45		Company	getId	Specification error	postcondition	weak precondition	3	1
46		CookieUtils	getCookie	Specification error	postcondition	weak precondition	1	3
47		CookieUtils	getDeleteCookie	Specification error	postcondition	weak precondition	1	3
48		CustomerLog	getCustomerKey	Specification error	postcondition	weak precondition	2	1
49		DateUtils	monthAsString	Specification error	postcondition	weak precondition	1	1
50		mail.Mailer	Construtor	Code error	invariant	Code error	1	1
51		util.Mailer	Construtor	Code error	invariant	Code error	1	1
52		PageElements	Construtor	Code error	invariant	Code error	1	4
53		PaymentDistribution	Construtor	Code error	invariant	Code error	1	1
54		Preferences	Construtor	Code error	invariant	Code error	1	1
55		Product	Construtor	Code error	invariant	Code error	1	2
56		Recurrence	Construtor	Code error	invariant	Code error	1	1
57		StringDataSource	Construtor	Code error	invariant	Code error	1	1
58		Tax	Construtor	Code error	invariant	Code error	1	2
59	Mondex	APDU	Construtor	Code error	invariant	Code error	1	1
60	Mondex	ConPurseJC	Construtor	Code error	invariant	Code error	2	2
61	TransactedMemory	AbstractTransactedMemory	ANewTag	Specification error	postcondition	weak precondition	32	2
62		DPage	Construtor	Specification error	invariant	weak precondition	1	1
63		DTagData	Construtor	Specification error	invariant	weak precondition	1	1
64		Generation	Construtor	Specification error	invariant	weak precondition	1	1
65		GenGenbyte	Construtor	Code error	invariant	Code error	1	8
66		Tag	Construtor	Specification error	invariant	weak precondition	1	1
67		Version	Construtor	Specification error	invariant	weak precondition	1	1
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