Table 1.

The results of testing GNLab with MT

MRs	Original	GM1	GM2	GM3	GM4	GM5	GM6	GM7	GM8	GM9
MR1(a)
MR1(b)
MR2(a)				RYE		RYE	RY	Y
MR2(b)				RYE	RYE		RYE
MR2(c)	RYE	RYE	RYE	YE	RYE	YE	RYE	RYE	RYE	RYE
MR3(a)
MR3(b)
MR4			RYE						RYE	RYE
MR5(a)				RYE	E	RY	RYE	RYE
MR5(b)				RYE	E	RY	RYE	RYE

GNLab and nine of its mutants were tested against three batches of test cases, which are labeled as R (random), Y (yeast) and E (E. coli). Each pair of test cases that detects a violation of a MR in a program is labeled by its batch in the respective cell in the table. For example, the label 'RY' in the cell [GM6, MR2(a)] indicates that mutant 6 violates MR2(a) according to the test cases in batch R and batch Y.