Proceedings of the 2007 ACM workshop on Parallel and distributed systems testing and debugging
ACM Digital Library