CONCURRIT: a domain specific language for reproducing concurrency bugs
Race directed random testing of concurrent programs