Raft : automated techniques for diagnosing, reproducing, and fixing concurrency bugs. - Steven Oliver Smith (2014)