Mathematical Problems in Engineering / 2013 / Article / Figbox 1

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

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