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

Table 2

Mutation operators used in this experiment.

Integer mutants	Operators	Description
Width overflow	Integer truncation	Short-cut data type definition replacement
Signedness defect	Unsigned 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}