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.