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);