Proceedings of the 2012 Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging
ACM Digital Library