Calfuzzer: An extensible active testing framework for concurrent programs
Race directed random testing of concurrent programs