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