SMS versenden: Methodologies for validating parallel programs