This program will automatically repair concurrency Java bugs using a genetic algorithmic approach.
This program was developed using Python 2.7. This version should be used for best results due to compatibility.
Two external tools are necessary as well:
- Download the source code and place it into a directory of choice.
- Download IBM's ConTest, and place the ConTest.jar and the KingProperties files into the
/lib/ConTest/directory. - Download and install TXL.
- Place the target project's source code in the
/input/source/directory. - Place the target project's class files in the
/input/class/directory. - Execute using the following command from the root directory,
python arc.py [options] [-s sourceDir] [-t testDir] [-o outputDir] [-m mainClass].
To see a list of the options run the following command python arc.py -h