Mathematical Problems in Engineering / 2013 / Article / Tab 2

Research Article

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

Table 2

Mutation operators used in this experiment.

Integer mutantsOperatorsDescription

Width overflowInteger truncation Short-cut data type definition replacement
Signedness defectUnsigned to signed{unsigned, short, unsigned int, unsigned long signed long, signed int, signed short}
Signed to unsigned{signed long, signed int, signed short unsigned, short, unsigned int, unsigned long}

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