Here are two datasets of seeded bugs used in our paper:
''ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming''

These bugs are generated by performing the mutation to the correct version of Math85. 

The ‘’FData’’ contains 13 seeded bugs F1-F13. 
For each bug, e.g., F1, there is a folder called F1. The folder
F1 contains the following three files:
1) src: the source code of the buggy version
2) target: the binaries of the source code
3) patch.txt: a correct patch for the buggy version

The folder ‘’libs’’ contains the dependencies of each buggy program. 



The ``HData'' contains 5 seeded bugs H1-H5. The folder structure of HData
is similar to that of ``FData''.


Note that for F1-F13, the mutation is conducted to 
the redundant statements, so the redundancy-based 
repair approaches can fix the bugs F1--F5 assuming their
search ability is strong enough. So F1--F5  
can be used to compare the search ability of different 
redundancy-based repair approaches.

For H1-H3, the mutation is conducted to
the statements that do not exist in the buggy program. So
they are used to illustrate the effect of type
matching strategy presented in our paper.  


The patch (in patch.txt) is represented as a series of edits. The
following is an example:

1 Replace src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 216 
Faulty:
ret=-Double.MAX_VALUE;
Seed:
ret=getMean();
****************************************************************
2 Delete src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 138 
Faulty:
if (x < 0) {
  return 0;
}
Seed:
****************************************************************
3 InsertBefore src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 172 
Faulty:
if (p == 1) {
  return Double.POSITIVE_INFINITY;
}
Seed:
if (p == 0) {
  return Double.NEGATIVE_INFINITY;
}
****************************************************************


There are three edits in this patch. For each edit, this first line
contains three kinds of information: the operation types, the java file where the faulty statement locates, 
and the line number of the faulty statement in the java file. 
For example, the first edit means that replacing the faulty statement ret=-Double.MAX_VALUE; (line 216 in NormalDistributionImpl.java)
with ret=getMean();. 
The third edit means that inserting
if (p == 0) {
  return Double.NEGATIVE_INFINITY;
}
before the faulty statement (line 172 in NormalDistributionImpl.java):
if (p == 1) {
  return Double.POSITIVE_INFINITY;
}