Text this: Methodologies for validating parallel programs