發送短信: Methodologies for validating parallel programs