Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study

Table 3

Testing execution results.

	Mutant 1	Mutant 2	Mutant 3
Safety property	2/87	1/87	2/87
MR (γ = 300)	10/87	10/87	10/87
MR (γ = 500)	20/87	20/87	25/87
MR (γ = 800)	25/87	23/87	26/87
MR (γ = 1000)	25/87	23/87	26/87
MR (γ = 2000)	15/87	15/87	10/87