Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging