Automated techniques for prioritization of metamorphic relations for effective metamorphic testing