multithreadedtc

A framework for testing concurrent Java applications