Proceedings of the 2007 ACM workshop on Parallel and distributed systems testing and debugging - Ur, Shmuel (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Software Engineering; ACM Special Interest Group on Programming Languages (ACM, 2007)