Research Article
Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study
Box 1
Mutation code segment of tcas.c.
| char Own_Tracked_Alt; // correct version int Own_Tracked_Alt; | int Own_Tracked_Alt_Rate; | int Other_Tracked_Alt | |
|