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