Multithreaded TC is a framework for testing concurrent applications.
Read this introduction, for a more detailed overview of MultithreadedTC.