Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging