Software

FindBugs

Finding bugs is easy with FindBugs, which uses static analysis to look for bugs in Java code.
Download | Homepage

MultithreadedTC

MultithreadedTC makes 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.
Download | Homepage