Cortex

a tool that automatically exposes and isolates concurrency bugs (Cortex is an extension to Symbiosis).