For more information about MultithreadedTC, visit http://www.cs.umd.edu/projects/PL/multithreadedtc/

To use this library, you need JUnit (3.8 or 4.*). Get it at http://www.junit.org

MultithreadedTC is released under the BSD License, http://www.opensource.org/licenses/bsd-license.php