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