[[ thread-safe.org ]]

Download

You can download the source code of the checker, build it, and use it on your computer.

Requirements

To build and run our implementation, which is called ConTeGe, you'll need the following:

  • Scala version 2.9.1 (or higher)
  • JDK version 1.6 (or higher)
The implementation comes as an Eclipse project. We've tested it with Eclipse 3.7.1 and the Scala IDE 2.0.2 (which ships Scala 2.9.2).

Download

ConTeGe-1.0 is the version of ConTeGe described in our PLDI'12 paper. Download this version to compare to the approach described in the paper.

This Git repository contains the current version of ConTeGe, including the implementation of other approaches built on top of the test generation framework.

Usage

After building the project (e.g., by importing it into Eclipse), start the checker via ClassTester.sh. You'll need to adapt the file to your environment: Set the paths to the Scala library and to the Jar files you want to analyze. Alternatively, you can also invoke the checker via ClassTester.scala.

License

The source code is made available under the GNU General Public License.