The *MultithreadedTC* framework was created to make it easier to test small concurrent abstractions. It enables test designers to guarantee a specific interleaving of two or more threads, even in the presence of blocking and timing issues. To learn more, please read [http://www.cs.umd.edu/project...