Research Article
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 |
|
|