MDAT: a multithreading debugging and testing tool.

Eric Larson, Rochelle Palting

Browse the full SIGCSE paper archive.