Telefona gönder: Methodologies for validating parallel programs