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

⋯