Mathematical Problems in Engineering / 2013 / Article / Tab 3

Research Article

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

Table 3

Testing execution results.

Mutant 1Mutant 2Mutant 3

Safety property2/871/872/87
MR (γ = 300)10/8710/8710/87
MR (γ = 500)20/8720/8725/87
MR (γ = 800)25/8723/8726/87
MR (γ = 1000)25/8723/8726/87
MR (γ = 2000)15/8715/8710/87

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.