Concurrent software testing in practice: a catalog of tools
Test input generation with java PathFinder