Fault Type |
Original Code | Mutated Code |
1 | for (int k=0; k<model.getSize(); k++) | for (int k=10; k<model.getSize(); k++) |
2 | editMenu.setText("Edit"); | editMenu.setText("File"); |
3 | currentPosition += currentLength; | currentPosition = currentLength; |
4 | for(int counter = forStartIndex; counter <= forEndIndex; counter++) | for(int counter = forStartIndex; counter > forEndIndex; counter++) |
5 | if(contentArea.closeDocument(true)) | if(contentArea.closeDocument(false)) |
6 | if(printJob.printDialog()) | if(!printJob.printDialog()) |
7 | if(file.isDirectory() || fileName.endsWith(".two")) | if(file.isDirectory() && fileName.endsWith(".two")) |
8 | maxwidth = (int) p.getX(); | maxwidth = (int) p.getY(); |
9 | g.fillRect(x4, y4, 5, 5); | g.fillRect(x4, x4, 5, 5); |
10 | addRefs(i, j); | addRefs(j, i); |
11 | return (choice == CANCEL_OPTION || choice == CLOSED_OPTION); | return choice == CANCEL_OPTION; |
12 | else if (t == 2) | else if (t >= 0) |
13 | double xMargin = (screenSize.getWidth()- this.getWidth()) / 2; | double xMargin = (screenSize.getHeight()- this.getHeight()) / 2; |
14 | return (this.row == y.row) && (this.col == y.col); | return (this.row == y.col); |
15 | maxCorner = new CellPoint(maxRow, maxCol); | maxCorner = new CellPoint(minRow, minCol); |