MDAT: a multithreading debugging and testing tool. - Eric Larson; Rochelle Palting (SIGCSE, 2013)