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